2041 search results - page 334 / 409 » Modelling Generic Judgements |
139
Voted
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
JPREDICTOR is a tool for detecting concurrency errors in JAVA programs. The JAVA program is instrumented to emit property-relevant events at runtime and then executed. The resulti...
129
click to vote
WWW
2008
ACM
16 years 4 months ago
2008
ACM
The Semantic Web is based on accessing and reusing RDF data from many different sources, which one may assign different levels of authority and credibility. Existing Semantic Web ...
154
click to vote
KDD
2007
ACM
16 years 3 months ago
2007
ACM
Characterising the differences between two databases is an often occurring problem in Data Mining. Detection of change over time is a prime example, comparing databases from two b...
139
Voted
KDD
2003
ACM
16 years 3 months ago
2003
ACM
In most computer systems, page fault rate is currently minimized by generic page replacement algorithms which try to model the temporal locality inherent in programs. In this pape...
119
Voted
STOC
2001
ACM
16 years 3 months ago
2001
ACM
This article introduces and explores the condition-based approach to solve the consensus problem in asynchronous systems. The approach studies conditions that identify sets of inpu...