2262 search results - page 378 / 453 » Points with large quadrant-depth |
KDD
2006
ACM
16 years 9 days ago
2006
ACM
Spatial scan statistics are used to determine hotspots in spatial data, and are widely used in epidemiology and biosurveillance. In recent years, there has been much effort invest...
101
click to vote
KDD
2002
ACM
16 years 9 days ago
2002
ACM
When automatically extracting information from the world wide web, most established methods focus on spotting single HTMLdocuments. However, the problem of spotting complete web s...
CHI
2004
ACM
16 years 7 days ago
2004
ACM
Weblogs (or blogs) are frequently updated webpages with posts typically in reverse-chronological order. Blogging is the latest form of online communication to gain widespread popu...
190
click to vote
POPL
2004
ACM
16 years 6 days ago
2004
ACM
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...
112
click to vote
CADE
2005
Springer
16 years 6 days ago
2005
Springer
Our general goal is to provide better automation in interactive proof assistants such as Coq. We present an interpreter of proof traces in first-order multi-sorted logic with equal...