17449 search results - page 478 / 3490 » Availability |
140
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
We developed an importer from both HOL 4 and HOL-light into Isabelle/HOL. The importer works by replaying proofs within Isabelle/HOL that have been recorded in HOL 4 or HOL-light a...
233
click to vote
VLDB
2007
ACM
16 years 7 months ago
2007
ACM
An increasing number of temporally versioned text collections is available today with Web archives being a prime example. Search on such collections, however, is often not satisfa...
274
click to vote
SIGMOD
2009
ACM
16 years 7 months ago
2009
ACM
MayBMS is a state-of-the-art probabilistic database management system which leverages the strengths of previous database research for achieving scalability. As a proof of concept ...
238
click to vote
SIGMOD
2008
ACM
16 years 7 months ago
2008
ACM
There are several useful guides available for how to review a paper in Computer Science [10, 6, 12, 7, 2]. These are soberly presented, carefully reasoned and sensibly argued. As ...
254
click to vote
SIGMOD
2007
ACM
16 years 7 months ago
2007
ACM
We present a tool for querying a set of points for geometric shapes. This tool was developed as part of a larger project studying the architecture of 13th century French churches....