1
Published 2013
Table of Contents: ... Movement Method for Evaluating Computer Mice -- AugmentedBacklight: Expansion of LCD Backlights Using...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... Model -- On the Impossibility of Extracting Classical Randomness Using a Quantum Computer -- Quantum...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...
View full text
Electronic eBook
5
Published 2007
Table of Contents: ... Selection Algorithm for Point Based Rendering -- Fast Ray-Triangle Intersection Computation Using...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... -- Properties of Polynomial Bases Used in a Line-Surface Intersection Algorithm -- Minisymposium on GPU...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ...Workshop on Mobile Communications (MC 2010) -- A Control Loop Reduction Scheme for Wireless Process...
View full text
Electronic eBook
8
Published 2013
Table of Contents: ... Programming Based Method for Joint Object Region Matching and Labeling -- Using Models of Objects...
View full text
Electronic eBook
9
Published 2006
Table of Contents: ... Services Workflow Mining -- Preface (ENEI 2005) -- Exchange of Business Process Models Using the POP* Meta...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ...FoSSaCS 2010 Invited Talk -- to Decidability of Higher-Order Matching -- Semantics of Programming...
View full text
Electronic eBook
11
Published 2007
Table of Contents: ... Residue Binding Propensity and Sequence Entropy -- Use of Parallel Simulated Annealing for Computational...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ...Using Design Patterns in Formal Methods: An Event-B Approach -- A Unified Approach to Abstract...
View full text
Electronic eBook
13
Published 2013
Table of Contents: ...# Application Development using UML State Machines – a Case Study -- Visualization of Verilog Digital Systems...
View full text
Electronic eBook
14
Published 2006
Table of Contents: ... Approach to Computer-Assisted Translation Based on Finite-State Transducers -- Finite-State Registered...
View full text
Electronic eBook
15
Published 2008
Table of Contents: ... Nonlinear Systems Using a Nonlinear Hybridization -- Modeling and Simulation of Biochemical Processes Using...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...
View full text
Electronic eBook
17
Published 2012
Table of Contents: ...Computability and Non-computability Issues in Amorphous Computing -- Static Single Information Form...
View full text
Electronic eBook
18
Published 2013
Table of Contents: ... the Sorted-Set Intersection Problem onto a Graphics Processing Unit -- A Novel Double Dynamic Stress...
View full text
Electronic eBook
19
Table of Contents: ... -- Generalized Deterministic Parsers -- Substring Parsing -- Parsing as Intersection -- Parallel Parsing -- Non...
View full text
Electronic eBook
20
Published 2008
Table of Contents: ... with Grammatical Evolution in Java -- Processing and Querying Description Logic Ontologies Using Cartographic...
View full text
Electronic eBook