5550 search results - page 839 / 1110 » Different Approaches to Proof Systems |
215
click to vote
DASFAA
2007
IEEE
16 years 1 months ago
2007
IEEE
Nearest-neighbor queries are an important query type for commonly used feature databases. In many different application areas, e.g. sensor databases, location based services or fac...
176
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
The literature agrees that the major threat to IS security is constituted by careless employees who do not comply with organizations’ IS security policies and procedures. To add...
131
click to vote
IPCCC
2007
IEEE
16 years 1 months ago
2007
IEEE
Dynamic Storage Tiering (DST) is the concept of grouping storage devices into tiers based on their characteristics, and relocating files dynamically to leverage on the heterogene...
195
click to vote
ESOP
2007
Springer
16 years 29 days ago
2007
Springer
We study the relationship between Concurrent Separation Logic (CSL) and the assume-guarantee (A-G) method (a.k.a. rely-guarantee method). We show in three steps that CSL can be tre...
198
click to vote
ICDM
2006
IEEE
16 years 25 days ago
2006
IEEE
We propose an algorithm for extracting fields from HTML search results. The output of the algorithm is a database table– a data structure that better lends itself to high-level...