882 search results - page 80 / 177 » Local Search for Very Large SAT Problems |
159
click to vote
SIGMOD
2009
ACM
16 years 3 days ago
2009
ACM
Testing and debugging database system applications is often challenging and time consuming. A database tester (or DB tester for short) has to detect a problem, determine why it ha...
AVI
2008
15 years 1 months ago
2008
In many interactive scenarios, the fast recognition and localization of crucial information is very important to effectively perform a task. However, in information visualization...
132
click to vote
VLDB
2002
ACM
14 years 11 months ago
2002
ACM
In spite of the many decades of progress in database research, surprisingly scientists in the life sciences community still struggle with inefficient and awkward tools for queryin...
INFOCOM
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract— Flooding based strategies are conventionally employed to perform querying and broadcasting in sensor networks. These schemes have low hop-delays of Θ( 1 M(n) ) to reac...
105
click to vote
BMCBI
2006
14 years 12 months ago
2006
Background: Identifying cis-regulatory elements is crucial to understanding gene expression, which highlights the importance of the computational detection of overrepresented tran...