181 search results - page 4 / 37 » hybrid 2011 |
ICAART
2011
INSTICC
12 years 11 months ago
2011
INSTICC
DNA
2011
Springer
12 years 7 months ago
2011
Springer
Sticker complexes are a a formal graph-based data model for a restricted class of DNA complexes, motivated by potential applications to databases. This data model allows for a pure...
CORR
2011
Springer
13 years 2 months ago
2011
Springer
This paper investigates the time-bounded version of the reachability problem for hybrid automata. This problem asks whether a given hybrid automaton can reach a given target locat...
INFOCOM
2011
IEEE
12 years 11 months ago
2011
IEEE
—How much information can one send through a random ad hoc network of
CLEF
2011
Springer
12 years 7 months ago
2011
Springer
The article presents the experiments carried out as part of the