5216 search results - page 1024 / 1044 » Planning as Model Checking |
195
click to vote
VLDB
2005
ACM
15 years 10 months ago
2005
ACM
XML database systems emerge as a result of the acceptance of the XML data model. Recent works have followed the promising approach of building XML database management systems on un...
172
click to vote
SIGMOD
2008
ACM
15 years 10 months ago
2008
ACM
To deal with data uncertainty, existing probabilistic database systems augment tuples with attribute-level or tuple-level probability values, which are loaded into the database al...
MOBISYS
2006
ACM
15 years 10 months ago
2006
ACM
Location determination of mobile users within a building has attracted much attention lately due to its many applications in mobile networking including network intrusion detectio...
ICWS
2009
IEEE
15 years 7 months ago
2009
IEEE
—The vision of the Semantic Web has brought about new challenges at the intersection of web research and data management. One fundamental research issue at this intersection is t...
112
click to vote
WCRE
2009
IEEE
15 years 5 months ago
2009
IEEE
—Much of modern software development consists of building on older changes. Older periods provide the structure (e.g., functions and data types) on which changes in future period...