647 search results - page 90 / 130 » Generic Trace Logics |
144
click to vote
AI
2004
Springer
15 years 9 months ago
2004
Springer
Constraints formalize the dependencies in a physical world in terms of a logical relation among several unknowns. Constraint satisfaction methods allow efficient navigation of larg...
137
click to vote
CP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. One of the most appealing features of constraint programming is its rich constraint language for expressing combinatorial optimization problems. This paper demonstrates t...
126
click to vote
IMR
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents a simple technique for generating anisotropic surface triangulations using a generic unstructured quadrilateral decomposition of CAD entities that map to a log...
186
click to vote
WAC
2004
Springer
15 years 9 months ago
2004
Springer
We describe the motivation and design of a novel embedded systems architecture for large networks of small devices, tha canonical example being wireless sensor networks. The archit...
151
click to vote
WLP
2004
Springer
15 years 9 months ago
2004
Springer
Constraint programming provides a declarative approach to solving combinatorial (optimization) problems. The user just states the problem as a constraint satisfaction problem (CSP)...