779 search results - page 38 / 156 » A Novel Approach to Model NOW in Temporal Databases |
100
click to vote
DASFAA
2004
IEEE
15 years 1 months ago
2004
IEEE
Abstract. The efficient management of interval sequences represents a core requirement for many temporal and spatial database applications. With the Relational Interval Tree (RI-tr...
ICDE
2010
IEEE
15 years 2 months ago
2010
IEEE
—This paper presents IQP - a novel approach to bridge the gap between usability of keyword search and expressiveness of database queries. IQP enables a user to start with an arbi...
111
click to vote
VMCAI
2010
Springer
15 years 5 months ago
2010
Springer
This paper upgrades Regular Linear Temporal Logic (RLTL) with past operators and complementation. RLTL is a temporal logic that extends the expressive power of linear temporal logi...
ER
2004
Springer
15 years 3 months ago
2004
Springer
Advanced personalized web applications require a carefully dealing with their users’ wishes and preferences. Since such preferences do not always hold in general, personalized ap...
ICRA
2007
IEEE
15 years 4 months ago
2007
IEEE
— Given a robot model and a class of admissible environments, this paper provides a framework for automatically and verifiably composing controllers that satisfy high level task...