5482 search results - page 494 / 1097 » Logic Programming and Databases |
219
click to vote
APLAS
2005
ACM
16 years 23 days ago
2005
ACM
Many problems in program analysis can be expressed naturally and concisely in a declarative language like Datalog. This makes it easy to specify new analyses or extend or compose e...
163
click to vote
APBC
2003
15 years 8 months ago
2003
The interactions of large molecules with surfaces and with each other are strongly dependent upon their surface, rather than their bulk properties. In addition, the local properti...
199
click to vote
CVPR
2005
IEEE
16 years 9 months ago
2005
IEEE
Dynamic programming on a scanline is one of the oldest and still popular methods for stereo correspondence. While efficient, its performance is far from the state of the art becau...
184
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
We study active integrity constraints and revision programming, two formalisms designed to describe integrity constraints on databases and to specify policies on preferred ways to...
177
click to vote
EDBT
2000
ACM
15 years 11 months ago
2000
ACM
Database systems support recovery, providing high database availability. However, database applications may lose work because of a server failure. In particular, if a database serv...