221 search results - page 26 / 45 » The Concurrent, Continuous FLUX |
GIS
2007
ACM
14 years 9 months ago
2007
ACM
Handling streams of positional updates from numerous moving objects has become a challenging task for many monitoring applications. Several algorithms have been recently proposed ...
HASKELL
2009
ACM
14 years 2 months ago
2009
ACM
Functional reactive programming (FRP) has simple and powerful semantics, but has resisted efficient implementation. In particular, most past implementations have used demand-driv...
GECCO
2007
Springer
14 years 2 months ago
2007
Springer
Engineering design increasingly uses computer simulation models coupled with optimization algorithms to find the best design that meets the customer constraints within a time con...
ICMI
2007
Springer
14 years 2 months ago
2007
Springer
This paper explores using non-linguistic vocalization as an additional modality to augment digital pen input on a tablet computer. We investigated this through a set of novel inte...
HYBRID
2001
Springer
14 years 11 days ago
2001
Springer
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...