Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interface computer » interfaces computer, interactive computer, internet computer
program constraint » programs constraints, problem constraint, diagram constraint
constraint graphs » constraints graphs, constraint graph, constrained graphs
program program » programs program, programming program
interface computer » interfaces computer, interactive computer, internet computer
program constraint » programs constraints, problem constraint, diagram constraint
constraint graphs » constraints graphs, constraint graph, constrained graphs
program program » programs program, programming program
1
Published 2007
Table of Contents:
“... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... Abstract Graph Views as Module Interfaces -- Programmed Graph Rewriting with DEVS -- Relational Growth...”View full text
Electronic
eBook
3
Published 2014
Table of Contents:
“... Prediction -- Multi-context logics-a general introduction -- Constraint programming for context comprehension...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”View full text
Electronic
eBook
5
Published 2012
Table of Contents:
“...An Application-Level Scheduling with Task Bundling Approach for Many-Task Computing...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... Object in the Stack of Objects -- Recognition of 3D Object Using Attributed Relation Graph...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... Fuzzy Inference -- PlanGraph: An Agent-Based Computational Model for Handling Vagueness in Human-GIS...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... Learning -- Face Recognition in Videos Using Adaptive Graph Appearance Models -- ST: Computational...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... CT Imaging -- Video Event Detection as Matching of Spatiotemporal Projection -- PixelLaser: Computing...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“... Functorial Framework for Constraint Normal Logic Programming -- A Stochastic Theory of Black-Box Software...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... Linear Approximation of Non-overlap Constraints -- Extremes Are Better: Investigating Mental Map...”View full text
Electronic
eBook
12
Published 2006
Table of Contents:
“... Constraints -- Robust Quality-Scalable Transmission of JPEG2000 Images over Wireless Channels Using LDPC Codes...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... Using Pair-Wise Constraints in Physical Therapy -- Learning and Prediction of Soft Object Deformation...”View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“... Routines Using Constraint Programming -- Deduction with Euler Circles: Diagrams That Hurt -- Diagrams...”View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“... in Computerized Testing -- Resource Load Balancing Based on Multi-agent in ServiceBSP Model -- Group-Based Key...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... -- Innovations in Computation and Application -- Fuzzy Decision Making for IJV Performance Based on Statistical...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...”View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“... Developing a Dynamic OCL Constraint Enforcement Tool for Java -- OCL and Graph-Transformations – A Symbiotic...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... Demonstrations -- Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... in SOKU Systems -- Autonomous Systems -- A Computational Analysis of Cognitive Effort -- An Algorithm...”View full text
Electronic
eBook