181 search results - page 4 / 37 » hybrid 2011 |
274
click to vote
DNA
2011
Springer
14 years 4 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...
133
click to vote
CORR
2011
Springer
14 years 11 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...
183
click to vote
INFOCOM
2011
IEEE
14 years 8 months ago
2011
IEEE
—How much information can one send through a random ad hoc network of
142
click to vote
CLEF
2011
Springer
14 years 4 months ago
2011
Springer
The article presents the experiments carried out as part of the