543 search results - page 92 / 109 » Argumentation Using Temporal Knowledge |
190
Voted
DASC
2006
IEEE
16 years 13 days ago
2006
IEEE
Abstract— In stream authentication protocols used for largescale data dissemination in autonomuous systems, authentication is based on the timing of the publication of keys, and ...
198
Voted
WISE
2006
Springer
16 years 11 days ago
2006
Springer
Service composition is becoming the dominant paradigm for developing Web service applications. It is important to ensure that a service composition complies with the requirements f...
190
Voted
IBPRIA
2005
Springer
15 years 12 months ago
2005
Springer
Sign language recognition constitutes a challenging field of research in computer vision. Common problems like overlap, ambiguities, and minimal pairs occur frequently and require...
180
Voted
KR
2004
Springer
15 years 11 months ago
2004
Springer
Temporal reasoning has always been a major test case for knowledge representation formalisms. In this paper, we develop an inductive variant of the situation calculus using the Lo...
180
Voted
ECRTS
1999
IEEE
15 years 10 months ago
1999
IEEE
Many industrial applications mandate the use of a timetriggered paradigm and consequently the use of off-line scheduling for reasons such as predictability, certification, cost, o...