130 search results - page 20 / 26 » Algorithmic Algebraic Model Checking I: Challenges from Syst... |
74
Voted
SIGMOD
2002
ACM
15 years 9 months ago
2002
ACM
Managing a combined store consisting of database data and file data in a robust and consistent manner is a challenge for database systems and content management systems. In such a...
KDD
2007
ACM
15 years 10 months ago
2007
ACM
In many practical applications, one is interested in generating a ranked list of items using information mined from continuous streams of data. For example, in the context of comp...
PEPM
2009
ACM
15 years 6 months ago
2009
ACM
Many applications need to respond to incremental modifications to data. Being incremental, such modification often require incremental modifications to the output, making it po...
ICDCS
2002
IEEE
15 years 2 months ago
2002
IEEE
Data mining systems aim to discover patterns and extract useful information from facts recorded in databases. A widely adopted approach is to apply machine learning algorithms to ...
COMCOM
2004
14 years 9 months ago
2004
The contemporary high-speed networks, e.g. the Internet and asynchronous transfer mode (ATM) networks provide a convenient and cost-effective communication platform to carry the e...