20126 search results - page 3332 / 4026 » Timed Transition Systems |
253
click to vote
DAGM
2003
Springer
16 years 25 days ago
2003
Springer
We introduce a computational model of sensor fusion based on the topographic representations of a ”two-microphone and one camera” configuration. Our aim is to perform a robust...
233
click to vote
FATES
2003
Springer
16 years 25 days ago
2003
Springer
Abstract. Writing specifications using Java Modeling Language has been accepted for a long time as a practical approach to increasing the correctness and quality of Java programs. ...
203
click to vote
ISAAC
2003
Springer
16 years 24 days ago
2003
Springer
Abstract. Fast algorithms for arithmetic on real or complex polynomials are wellknown and have proven to be not only asymptotically efficient but also very practical. Based on Fas...
224
click to vote
EWSN
2010
Springer
16 years 21 days ago
2010
Springer
One unfortunate consequence of the success story of wireless sensor networks (WSNs) in separate research communities is an evergrowing gap between theory and practice. Even though ...
219
click to vote
COMPGEOM
2010
ACM
16 years 20 days ago
2010
ACM
Let D be a weighted directed graph cellularly embedded in a surface of genus g, orientable or not, possibly with boundary. We describe algorithms to compute a shortest non-contrac...