1010 search results - page 71 / 202 » A Database Approach to Distributed State Space Generation |
204
click to vote
ICDE
1996
IEEE
15 years 11 months ago
1996
IEEE
This paper presents a difference calculus for determining changes to rule conditions in an active DBMS. The calculus has been used for implementing an algorithm to efficiently mon...
ISSTA
2006
ACM
15 years 3 months ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
PODS
2010
ACM
15 years 2 months ago
2010
ACM
It is well known that a search engine can significantly benefit from an auxiliary database, which can suggest interpretations of the search query by means of the involved concep...
CIKM
2009
Springer
15 years 2 months ago
2009
Springer
Traditional ranking mainly focuses on one type of data source, and effective modeling still relies on a sufficiently large number of labeled or supervised examples. However, in m...
WWW
2001
ACM
15 years 10 months ago
2001
ACM
First generation Web-content encodes information in handwritten (HTML) Web pages. Second generation Web content generates HTML pages on demand, e.g. by filling in templates with c...