743 search results - page 94 / 149 » Constraint Programming Architectures: Review and a New Propo... |
ASPDAC
2005
ACM
14 years 2 months ago
2005
ACM
With impressive progress in Boolean Satisfiability (SAT) solving and several extensions to pseudo-Boolean (PB) constraints, many applications that use SAT, such as highperformanc...
WWW
2004
ACM
14 years 9 months ago
2004
ACM
The paper describes some innovations related to the ongoing work on the GSA prototype, an integrated information retrieval agent. In order to improve the original system effective...
MIDDLEWARE
2004
Springer
14 years 2 months ago
2004
Springer
Middleware helps to manage the complexity and heterogeneity inherent in distributed systems. Traditional middleware has a monolithic architecture, which makes it difficult to adap...
AUTOMATICA
2007
13 years 9 months ago
2007
This paper presents a new (geometrical) approach to the computation of polyhedral (robustly) positively invariant (PI) sets for general (possibly discontinuous) nonlinear discrete...
3DPVT
2002
IEEE
14 years 1 months ago
2002
IEEE
Reconstruction of 3D models from range images usually focuses on complex objects completely contained in the field of view. Using range images to reconstruct a whole environment ...