1521 search results - page 58 / 305 » On Sampled Semantics of Timed Systems |
IFM
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
AUTOMATICA
2011
13 years 5 months ago
2011
Fluidification constitutes a relaxation technique for studying discrete event systems through fluidified approximated models, thus avoiding the state explosion problem. Moreove...
VLDB
2004
ACM
14 years 4 months ago
2004
ACM
Association rules can reveal biological relevant relationship between genes and environments / categories. However, most existing association rule mining algorithms are rendered i...
MIR
2005
ACM
14 years 4 months ago
2005
ACM
In this paper, we will propose a novel semi-automatic annotation scheme for video semantic classification. It is well known that the large gap between high-level semantics and low...
SIGCOMM
2003
ACM
14 years 4 months ago
2003
ACM
Content-based full-text search is a challenging problem in Peer-toPeer (P2P) systems. Traditional approaches have either been centralized or use flooding to ensure accuracy of th...