1
Publicado 2007
Table of Contents: ... Databases Under Three-Valued Semantics -- Logic Programming Approach to Automata-Based Decision Procedures...
Ligazón do recurso
Electrónico eBook
2
Publicado 2008
Table of Contents: ... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...
Ligazón do recurso
Electrónico eBook
3
Publicado 2008
Table of Contents: ... Toolkit -- Formal Use of Design Patterns and Refactoring -- A Component-Based Access Control Monitor...
Ligazón do recurso
Electrónico eBook
4
Publicado 2010
Table of Contents: ... -- Parallelization of Edge Detection Algorithm using MPI on Beowulf Cluster -- Teaching Physical Based Animation via...
Ligazón do recurso
Electrónico eBook
5
Publicado 2007
Table of Contents: ... Normalization Tool Using Mathematica -- Symbolic Manipulation of Bspline Basis Functions with Mathematica...
Ligazón do recurso
Electrónico eBook
6
Publicado 2010
Table of Contents: ... -- Do Changes in Movements after Tool Use Depend on Body Schema or Motor Learning? -- A Motion-Based...
Ligazón do recurso
Electrónico eBook
7
Publicado 2005
Table of Contents: ... Modification of Planning Scheduler and Fuzzy Logic Control Law Response -- Integrated Tool for Testing Timed...
Ligazón do recurso
Electrónico eBook
8
Publicado 2010
Table of Contents: ... Robots -- Protein Classification Based on 3D Structures and Fractal Features -- Protein Function...
Ligazón do recurso
Electrónico eBook
9
Publicado 2007
Table of Contents: ... Agents -- Using Semantic Causality Graphs to Validate MAS Models -- A Multiagent Framework to Animate...
Ligazón do recurso
Electrónico eBook
10
Publicado 2008
Table of Contents: ... for Animal Research -- General Considerations -- The Ethical Basis for Animal Use in Research...
Ligazón do recurso
Electrónico eBook
11
Publicado 2005
Table of Contents: ... Retrieval Using Belief Functions -- A Fast Full Search Algorithm for Variable Block-Based Motion Estimation...
Ligazón do recurso
Electrónico eBook
12
Publicado 2005
Table of Contents: ... Interactive 3D Models via Vertex Shader Programming -- An Optimized Soft 3D Mobile Graphics Library Based...
Ligazón do recurso
Electrónico eBook
13
Publicado 2014
Table of Contents: ... -- Exclusive Region based Scheduling for MB-OFDM UWB using Hidden Pilot Sequences; B.W.Kim, B.-G. Kim...
Ligazón do recurso
Electrónico eBook