3495 search results - page 418 / 699 » On the random satisfiable process |
154
click to vote
CHI
2003
ACM
16 years 7 months ago
2003
ACM
The MiTAP system was developed as an experimental prototype using human language technologies for monitoring disease outbreaks. The system provides timely, multi-lingual, global i...
167
click to vote
STOC
2001
ACM
16 years 7 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...
272
click to vote
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
Snippets are used by almost every text search engine to complement ranking scheme in order to effectively handle user searches, which are inherently ambiguous and whose relevance ...
159
click to vote
EDBT
2004
ACM
16 years 6 months ago
2004
ACM
Trading surveillance systems screen and detect anomalous trades of equity, bonds, mortgage certificates among others. This is to satisfy federal trading regulations as well as to p...
177
click to vote
EDBT
2008
ACM
16 years 6 months ago
2008
ACM
We introduce a novel spatial join operator, the ring-constrained join (RCJ). Given two sets P and Q of spatial points, the result of RCJ consists of pairs p, q (where p P, q Q) ...