Sciweavers

2356 search results - page 112 / 472
» Characterizations of postman sets
Sort
View
CONCUR
2005
Springer
15 years 6 months ago
The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation
Abstract. Delaying the synchronization of actions may reveal some hidden behavior that would not happen if the synchronization met the specified deadlines. This precise phenomenon...
Pedro R. D'Argenio, Biniam Gebremichael
CORIA
2010
15 years 6 months ago
Phrases Visuelles pour l'annotation automatique d'images
ABSTRACT. Photographic images annotation is a complex problem. Indeed, the visual characteristics of objects of a class vary with the considered instance and the shooting condition...
Rami Albatal, Philippe Mulhem, Yves Chiaramella
IJCAI
2007
15 years 5 months ago
The Value of Observation for Monitoring Dynamic Systems
We consider the fundamental problem of monitoring (i.e. tracking) the belief state in a dynamic system, when the model is only approximately correct and when the initial belief st...
Eyal Even-Dar, Sham M. Kakade, Yishay Mansour
COLING
2000
15 years 5 months ago
Parsing Schemata for Grammars with Variable Number and Order of Constituents
We define state transition grammars (STG) as an intermediate tbrmalism between grammars and parsing algorithms which is intended to separate the description of a parsing strategy ...
Karl-Michael Schneider
IJCAI
1989
15 years 5 months ago
Reducing the Derivation of Redundant Clauses in Reasoning Systems
This paper addresses two problems concerning the issue of redundant information in resolution based reasoning systems. The first one deals with the question, how the derivation of...
Rolf Socher-Ambrosius