531 search results - page 77 / 107 » Data structure repair using goal-directed reasoning |
172
click to vote
AMAST
2004
Springer
15 years 10 months ago
2004
Springer
concerns, abstraction (particularly hierarchical abstraction), simplicity, and restricted visibility (locality of information). The overall goal behind these principles was stated ...
159
click to vote
CADE
2009
Springer
16 years 5 months ago
2009
Springer
Abstract This work studies the properties of finite automata recognizing vectors with real components, encoded positionally in a given integer numeration base. Such automata are us...
169
click to vote
DAGSTUHL
2006
15 years 6 months ago
2006
Cognitive Vision has to represent, reason and learn about objects in its environment it has to manipulate and react to. There are deformable objects like humans which cannot be des...
155
click to vote
DILS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Transparent information integration across distributed and heterogeneous data sources and computational tools is a prime concern for bioinformatics. Recently, there have ...
157
click to vote
IWPC
2002
IEEE
15 years 9 months ago
2002
IEEE
Studying how a software system has evolved over time is difficult, time consuming, and costly; existing techniques are often limited in their applicability, are hard to extend, a...