6608 search results - page 1236 / 1322 » On the Completeness of Model Checking |
139
click to vote
WWW
2009
ACM
16 years 4 months ago
2009
ACM
Web archives preserve the history of Web sites and have high long-term value for media and business analysts. Such archives are maintained by periodically re-crawling entire Web s...
127
Voted
WWW
2007
ACM
16 years 4 months ago
2007
ACM
Master data refers to core business entities a company uses repeatedly across many business processes and systems (such as lists or hierarchies of customers, suppliers, accounts, ...
155
Voted
WWW
2003
ACM
16 years 4 months ago
2003
ACM
This paper describes a novel approach for obtaining semantic interoperability among data sources in a bottom-up, semiautomatic manner without relying on pre-existing, global seman...
263
click to vote
POPL
2009
ACM
16 years 4 months ago
2009
ACM
Speed improvements in today's processors have largely been delivered in the form of multiple cores, increasing the importance of ions that ease parallel programming. Software...
117
Voted
KDD
2009
ACM
16 years 4 months ago
2009
ACM
Research in relational data mining has two major directions: finding global models of a relational database and the discovery of local relational patterns within a database. While...