1
Publicat 2007
Taula de continguts: ... Selection Algorithm for Point Based Rendering -- Fast Ray-Triangle Intersection Computation Using...
Obtenir text complet
Electrònic eBook
2
Publicat 2010
Taula de continguts: ... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...
Obtenir text complet
Electrònic eBook
3
per Ghali, Sherif., Ghali, Sherif.
Publicat 2008
Taula de continguts: ... Computational Euclidean Geometry -- Affine Transformations -- Affine Intersections -- Genericity in Geometric...
Obtenir text complet
Electrònic eBook
4
Publicat 2006
Taula de continguts: ... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...
Obtenir text complet
Electrònic eBook
5
Publicat 2013
Taula de continguts: ... Session 5: Object Recognition II -- Rapid Uncertainty Computation with Gaussian Processes and Histogram...
Obtenir text complet
Electrònic eBook
6
Publicat 2007
Taula de continguts: ... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...
Obtenir text complet
Electrònic eBook
7
Publicat 2010
Taula de continguts: ...FoSSaCS 2010 Invited Talk -- to Decidability of Higher-Order Matching -- Semantics of Programming...
Obtenir text complet
Electrònic eBook
8
Publicat 2008
Taula de continguts: ... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...
Obtenir text complet
Electrònic eBook
9
Publicat 2012
Taula de continguts: ...Computability and Non-computability Issues in Amorphous Computing -- Static Single Information Form...
Obtenir text complet
Electrònic eBook
10
Publicat 2008
Taula de continguts: ... for Nondeterministic Dataflow -- Symbolic Reachability for Process Algebras with Recursive Data Types -- Inclusion Test...
Obtenir text complet
Electrònic eBook
11
Publicat 2008
Taula de continguts: ... with Grammatical Evolution in Java -- Processing and Querying Description Logic Ontologies Using Cartographic...
Obtenir text complet
Electrònic eBook
12
per Agoston, Max K., Agoston, Max K.
Publicat 2005
Taula de continguts: ... -- Curves in Computer Graphics -- Surfaces in Computer Graphics -- Intersection Algorithms -- Global...
Obtenir text complet
Electrònic eBook
13
Publicat 2008
Taula de continguts: ... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...
Obtenir text complet
Electrònic eBook
14
Publicat 2006
Taula de continguts: ...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...
Obtenir text complet
Electrònic eBook
15
Publicat 2010
Taula de continguts: ... Process Analysis Using PARDISO Solver -- Internet and Web Computing -- Heuristics Backtracking and a...
Obtenir text complet
Electrònic eBook
16
Publicat 2015
Taula de continguts: ... of Intersecting Regular, Context-Free, and Tree Languages -- Containment of Monadic Datalog Programs via Bounded...
Obtenir text complet
Electrònic eBook
17
Publicat 2007
Taula de continguts: ... Programming -- Sequential-Merge Facets for Two-Dimensional Group Problems -- Session 2 -- Triangle-Free Simple...
Obtenir text complet
Electrònic eBook
18
Publicat 2014
Taula de continguts: .... Approximating the Turaev-Viro Invariant of Mapping Tori is Complete for One Clean Qubit -- Span-Program-Based...
Obtenir text complet
Electrònic eBook
19
Publicat 2007
Taula de continguts: ...Computational Complexity of Generalized Domination: A Complete Dichotomy for Chordal Graphs...
Obtenir text complet
Electrònic eBook
20
Publicat 2010
Taula de continguts: ...Workshop on Mobile Communications (MC 2010) -- A Control Loop Reduction Scheme for Wireless Process...
Obtenir text complet
Electrònic eBook