779 search results - page 84 / 156 » A Novel Approach to Model NOW in Temporal Databases |
PVLDB
2008
14 years 9 months ago
2008
Several real-world applications need to effectively manage and reason about large amounts of data that are inherently uncertain. For instance, pervasive computing applications mus...
114
click to vote
POPL
2011
ACM
14 years 20 days ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
TDP
2010
14 years 4 months ago
2010
In recent years, spatio-temporal and moving objects databases have gained considerable interest, due to the diffusion of mobile devices (e.g., mobile phones, RFID devices and GPS ...
ICPR
2004
IEEE
15 years 11 months ago
2004
IEEE
In this paper we develop a novel contrast-invariant appearance detection model. The goal is to classify object-specific images (e.g. face images) from generic background patches. ...
KDD
2009
ACM
15 years 10 months ago
2009
ACM
Research in relational data mining has two major directions: finding global models of a relational database and the discovery of local relational patterns within a database. While...