32028 search results - page 148 / 6406 » Experimenting a |
161
click to vote
IROS
2007
IEEE
16 years 21 days ago
2007
IEEE
Abstract— In this paper the performance of a topologicalmetric visual path following framework is investigated in different environments. The framework relies on a monocular came...
138
click to vote
ISCC
2007
IEEE
2007
IEEE
An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation
16 years 21 days ago
Spi2Java is a tool that enables semi-automatic generation of cryptographic protocol implementations, starting from verified formal models. This paper shows how the last version o...
161
click to vote
ISMAR
2007
IEEE
16 years 21 days ago
2007
IEEE
We have developed a GUI tool and a mobile MR system for reliving experiences at museums. The GUI tool was developed to provide services based on content made from activity logs an...
168
click to vote
BPM
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Service Oriented Architecture (SOA) forms an ideal infrastructure for Business Process Management as applications are invoked using standard interfaces and protocols. Aut...
163
click to vote
DEXA
2007
Springer
16 years 18 days ago
2007
Springer
Problems with large monolithical ontologies in terms of reusability, scalability and maintenance have lead to an increasing interest in modularization techniques for ontologies. Cu...