189 search results - page 22 / 38 » A unifying semantics for time and events |
AUTOMATICA
2011
13 years 2 months ago
2011
Fluidification constitutes a relaxation technique for studying discrete event systems through fluidified approximated models, thus avoiding the state explosion problem. Moreove...
IMCSIT
2010
13 years 5 months ago
2010
This paper presents a system for segmentation of images into regions and annotation of these regions for semantic identification of the objects present in the image. The unified me...
CONCUR
1999
Springer
13 years 12 months ago
1999
Springer
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
CORR
2011
Springer
13 years 2 months ago
2011
Springer
The Semantic Web initiative puts emphasis not primarily on putting data on the Web, but rather on creating links in a way that both humans and machines can explore the Web of data...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
In this paper we consider Loosely Time-Triggered Architectures (LTTA) as a networked infrastructure for deploying discrete control. LTTA are distributed architectures in which 1/ ...