2935 search results - page 560 / 587 » An Integrated Approach to High Integrity Software Verificati... |
144
click to vote
SIGGRAPH
2003
ACM
15 years 9 months ago
2003
ACM
The study of art history is an exciting and rewarding one, but one in which the student frequently encounters complex and difficult to understand concepts. Traditional methodologi...
131
click to vote
PODS
2010
ACM
15 years 9 months ago
2010
ACM
The notion of certain answers arises when one queries incompletely specified databases, e.g., in data integration and exchange scenarios, or databases with missing information. W...
127
click to vote
EDBT
2000
ACM
15 years 8 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...
150
click to vote
CIKM
2006
Springer
15 years 7 months ago
2006
Springer
The wide adoption of XML has increased the interest of the database community on tree-structured data management techniques. Querying capabilities are provided through tree-patter...
120
click to vote
ECIR
2007
Springer
15 years 5 months ago
2007
Springer
Query-independent features (also called document priors), such as the number of incoming links to a document, its Page-Rank, or the type of its associated URL, have been successfu...