493 search results - page 52 / 99 » Representing preferences using intervals |
ICDE
2002
IEEE
14 years 9 months ago
2002
IEEE
We examine the problem of processing temporal joins in the presence of indexing schemes. Previous work on temporal joins has concentrated on non-indexed relations which were fully...
CAV
2009
Springer
14 years 8 months ago
2009
Springer
Window Abstraction for Infinite Markov Chains Thomas A. Henzinger1 , Maria Mateescu1 , and Verena Wolf1,2 1 EPFL, Switzerland 2 Saarland University, Germany Abstract. We present an...
ICRA
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— This paper is concerned with the in-field autonomous operation of unmanned marine vehicles in accordance with convention for safe and proper collision avoidance as pre...
PLDI
2000
ACM
14 years 3 days ago
2000
ACM
Functional Reactive Programming, or FRP, is a general framework for programming hybrid systems in a high-level, declarative manner. The key ideas in FRP are its notions of behavio...
JFR
2006
13 years 7 months ago
2006
This paper is concerned with the in-field autonomous operation of unmanned marine vehicles in accordance with convention for safe and proper collision avoidance as prescribed by t...