1738 search results - page 54 / 348 » Local Consistency and SAT-Solvers |
GG
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. Triple graph transformation has become an important approach for model transformations. Triple graphs consist of a source, a target and a connection graph. The correspond...
DOLAP
2004
ACM
14 years 1 months ago
2004
ACM
A peer-to-peer (P2P) data management system consists essentially of a network of peer systems, each maintaining full autonomy over its own data resources. Data exchange between pe...
WIMOB
2009
IEEE
14 years 2 months ago
2009
IEEE
—In ubiquitous computing, localization of users in indoor environments is a challenging issue. On the one hand, localization data needs to have fine granularity to provide reaso...
IROS
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract— Many planning approaches adhere to the twotiered architecture consisting of a long-range, low fidelity global planner and a short-range high fidelity local planner. W...
IROS
2007
IEEE
14 years 1 months ago
2007
IEEE
— Local maps algorithms have demonstrated to be well suited for mapping large environments as can reduce the computational cost and improve the consistency of the final estimati...