6530 search results - page 566 / 1306 » Application Integration |
184
click to vote
ISMAR
2009
IEEE
16 years 1 months ago
2009
IEEE
Spatial tracking is one of the most challenging parts of Augmented Reality. Many AR applications rely on the fusion of several tracking systems in order to optimize the overall pe...
159
Voted
FM
2009
Springer
16 years 1 months ago
2009
Springer
We examine the the industrial application of formal methods using data gathered in a review of 62 projects taking place over the last 25 years. The review suggests that formal meth...
174
click to vote
ISSAC
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we report on an experience communicating two computer algebra systems, namely GAP (and more concretely, its HAP package to compute in Homological Algebra) and Kenzo ...
157
Voted
CCGRID
2008
IEEE
16 years 1 months ago
2008
IEEE
Replication is a key technique for improving fault tolerance. Replication can also improve application performance under some circumstances, but can have the opposite effect under...
155
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
— Grasping is a central issue of various robot applications, especially when unknown objects have to be manipulated by the system. In earlier work, we have shown the efficiency ...