43264 search results - page 181 / 8653 » Comparing models of computation |
145
click to vote
VLDB
2002
ACM
15 years 2 months ago
2002
ACM
Massive data streams are now fundamental to many data processing applications. For example, Internet routers produce large scale diagnostic data streams. Such streams are rarely s...
130
click to vote
EDM
2010
15 years 1 months ago
2010
Dynamic assessment (DA) has been advocated as an interactive approach to conduct assessments to students in the learning systems as it can differentiate student proficiency at a fi...
IMC
2010
ACM
15 years 11 days ago
2010
ACM
The Domain Name System (DNS) is a fundamental building block of the Internet. Today, the performance of more and more applications depend not only on the responsiveness of DNS, bu...
113
click to vote
ICPR
2008
IEEE
16 years 3 months ago
2008
IEEE
Background modeling is an essential and important part of many high-level video processing applications. Recently, the Support Vector Data Description (SVDD) has been introduced f...
117
click to vote
CAV
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. We consider a fully SAT-based method of unbounded symbolic model checking based on computing Craig interpolants. In benchmark studies using a set of large industrial circ...