278 search results - page 52 / 56 » A Framework for Counterexample Generation and Exploration |
WWW
2009
ACM
15 years 11 months ago
2009
ACM
Document summarization plays an increasingly important role with the exponential growth of documents on the Web. Many supervised and unsupervised approaches have been proposed to ...
113
click to vote
SIGMOD
2010
ACM
15 years 3 months ago
2010
ACM
The proliferation of knowledge-sharing communities and the advances in information extraction have enabled the construction of large knowledge bases using the RDF data model to re...
79
Voted
LCPC
2001
Springer
15 years 2 months ago
2001
Springer
While uniprocessor garbage collection is relatively well understood, experience with collectors for large multiprocessor servers is limited and it is unknown which techniques best ...
112
Voted
ANSS
1998
IEEE
15 years 2 months ago
1998
IEEE
Simulation, especially discrete event simulation (DES), is used in a variety of disciplines where numerical methods are difficult or impossible to apply. One problem with this met...
94
Voted
ISMB
1998
14 years 11 months ago
1998
Existing query interfaces for biological databases are either based on fixed forms or textual query languages. Users of a fixed form-based query interface are limited to performin...