1495 search results - page 106 / 299 » Confirmation in Multimodal Systems |
ICRA
1993
IEEE
15 years 2 months ago
1993
IEEE
To demonstrate the flexibility and portability of both a schema-based software architecture and a message-passing hardware architecture, the two were integrated within a very shor...
104
click to vote
WSC
1997
14 years 11 months ago
1997
We describe a discrete-process simulation analysis of a production system at an automotive supply company. This simulation project was undertaken with the goals of demonstrating a...
ENTCS
2002
14 years 9 months ago
2002
We show that the basic feasible functions of Cook and Urquhart's BFF [8,9] are precisely the functionals definable in a natural system of ramified recurrence that uses type i...
114
click to vote
FROCOS
2009
Springer
15 years 4 months ago
2009
Springer
Temporal logic of knowledge is a combination of temporal and epistemic logic that has been shown to be very useful in areas such as distributed systems, security, and multi-agent s...
CORR
2007
Springer
14 years 10 months ago
2007
Springer
This paper presents a multi-sensor fusion strategy for a novel road-matching method designed to support real-time navigational features within advanced driving-assistance systems....