2797 search results - page 503 / 560 » Code query by example |
147
click to vote
CADE
2004
Springer
16 years 3 months ago
2004
Springer
contexts such as construction of abstractions, speed may be favored over completeness, so that undecidable theories (e.g., nonlinear integer arithmetic) and those whose decision pr...
119
Voted
STOC
2005
ACM
16 years 3 months ago
2005
ACM
Understanding the graph structure of the Internet is a crucial step for building accurate network models and designing efficient algorithms for Internet applications. Yet, obtaini...
207
Voted
SIGMOD
2008
ACM
16 years 2 months ago
2008
ACM
A variety of web sites and web based services produce textual lists at varying time granularities ranked according to several criteria. For example, Google Trends produces lists o...
211
click to vote
SIGMOD
2006
ACM
16 years 2 months ago
2006
ACM
Testing of database applications is crucial for ensuring high software quality as undetected faults can result in unrecoverable data corruption. The problem of database applicatio...
124
Voted
ALT
2006
Springer
15 years 11 months ago
2006
Springer
Most of the existing active learning algorithms are based on the realizability assumption: The learner’s hypothesis class is assumed to contain a target function that perfectly c...