399 search results - page 66 / 80 » Efficient Model Checking Using Tabled Resolution |
101
click to vote
ICDE
2008
IEEE
15 years 8 months ago
2008
IEEE
Existing work on privacy-preserving data publishing cannot satisfactorily prevent an adversary with background knowledge from learning important sensitive information. The main cha...
IJRR
2008
13 years 8 months ago
2008
We develop a new motion planning algorithm for a variant of a Dubins car with binary left/right steering and apply it to steerable needles, a new class of flexible beveltip medica...
CIKM
2011
Springer
12 years 8 months ago
2011
Springer
There exist many interrelated information sources on the Internet that can be categorized into structured (database) and semistructured (documents). A key challenge is to integrat...
ICSE
2004
IEEE-ACM
14 years 8 months ago
2004
IEEE-ACM
Financial companies, engineering firms and even scientists create increasingly larger spreadsheets and spreadsheet programs. The creators of large spreadsheets make errors and mus...
IDEAS
2007
IEEE
14 years 2 months ago
2007
IEEE
Historically, bitmap indexing has provided an important database capability to accelerate queries. However, only a few database systems have implemented these indexes because of t...