5550 search results - page 671 / 1110 » Different Approaches to Proof Systems |
197
click to vote
CONCURRENCY
2010
15 years 7 months ago
2010
With the rapid replacement of closed, homogeneous, proprietary HPC systems by heterogeneous, Linux-MPI cluster systems, the state of performance monitoring and analysis tools has ...
188
click to vote
JNW
2008
15 years 7 months ago
2008
Service discovery and its automation are some of the key features that a large scale, open distributed system must provide so that clients and users may take advantage of shared re...
198
click to vote
KAIS
2006
15 years 7 months ago
2006
Typographic and visual information is an integral part of textual documents. Most information extraction systems ignore most of this visual information, processing the text as a l...
174
click to vote
TROB
2008
15 years 7 months ago
2008
Abstract--This paper explores the possibilities of using monocular simultaneous localization and mapping (SLAM) algorithms in systems with more than one camera. The idea is to comb...
173
click to vote
CAD
2002
Springer
15 years 7 months ago
2002
Springer
Current modelling systems adequately support either modelling of parts or modelling of assemblies, whereas ideal modelling systems should adequately support both. To achieve this,...