4235 search results - page 286 / 847 » Process Spaces |
177
click to vote
3DIM
2011
IEEE
14 years 4 months ago
2011
IEEE
—We address the problem of registering a set of 2D laser scans in 3D space with regard to six degrees of freedom. Registering single 2D scans is only possible when making strong ...
144
click to vote
IJAIT
2000
15 years 4 months ago
2000
Knowledge-based engineering and computational intelligence are expected to become core technologies in the design and manufacturing for the next generation of space exploration mi...
139
click to vote
MFCS
2009
Springer
15 years 10 months ago
2009
Springer
We study visibly pushdown automata (VPA) models for expressing and evaluating queries, expressed using MSO formulas, on words with a nesting structure (like XML documents). We deï...
145
click to vote
EDCC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The A3M project aimed to define basic building blocks of a middleware meeting both dependability and real-time requirements for a wide range of space systems and applicat...
145
click to vote
APN
2008
Springer
15 years 6 months ago
2008
Springer
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...