1205 search results - page 65 / 241 » Program Extraction from Large Proof Developments |
245
click to vote
VLDB
2002
ACM
16 years 1 months ago
2002
ACM
Our aim is to develop new database technologies for the approximate matching of unstructured string data using indexes. We explore the potential of the suffix tree data structure i...
119
click to vote
IEEECIT
2006
IEEE
15 years 7 months ago
2006
IEEE
Coverage configuration is an important issue in large scale wireless sensor networks (WSNs). Existing coverage configuration methods are generally based on the concept of physical...
111
click to vote
SIGMOD
2010
ACM
15 years 6 months ago
2010
ACM
As the study of graphs, such as web and social graphs, becomes increasingly popular, the requirements of efficiency and programming flexibility of large graph processing tasks c...
119
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The paper investigates a novel approach, based on Constraint Logic Programming (CLP), to predict the 3D conformation of a protein via fragments assembly. The fragments ar...
110
click to vote
ICRA
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— Tightly-coupled multi-agent systems such as modular robots frequently exhibit properties of interest that span multiple modules. These properties cannot easily be detec...