Sciweavers

4434 search results - page 242 / 887
» On the Composition of Hybrid Systems
Sort
View
FMCAD
2006
Springer
15 years 10 months ago
Post-reboot Equivalence and Compositional Verification of Hardware
We introduce a finer concept of a Hardware Machine, where the set of post-reboot operation states is explicitly a part of the FSM definition. We formalize an ad-hoc flow of combin...
Zurab Khasidashvili, Marcelo Skaba, Daher Kaiss, Z...
MM
2010
ACM
137views Multimedia» more  MM 2010»
15 years 6 months ago
Coming together: composition by negotiation
In this paper, we describe a software system that generates unique musical compositions in realtime, created by four autonomous multi-agents. Given no explicit musical data, agent...
Arne Eigenfeldt
TSI
2008
129views more  TSI 2008»
15 years 6 months ago
COSMOS, composition de noeuds de contexte
Ubiquitous applications are facing a large diversity of execution contexts. However, this diversity requires some continual adaptation to preserve the correct execution of these ap...
Denis Conan, Romain Rouvoy, Lionel Seinturier
MMS
2002
15 years 6 months ago
JINSIL: A middleware for presentation of composite multimedia objects in a distributed environment
In a distributed environment, the presentation of structured, composite multimedia information poses new challenges in dealing with variable bandwidth (BW) requirements and synchro...
Junehwa Song, Asit Dan, Dinkar Sitaram
LREC
2010
164views Education» more  LREC 2010»
15 years 8 months ago
Hybrid Citation Extraction from Patents
The Quaero project organized a set of evaluations of Named Entity recognition systems in 2009, including reference extraction in patent text. The LIMSI participated in this evalua...
Olivier Galibert, Sophie Rosset, Xavier Tannier, F...