4708 search results - page 381 / 942 » Generating the Structure of Argument |
196
click to vote
VLDB
1997
ACM
15 years 11 months ago
1997
ACM
In semistructured databases there is no schema fixed in advance. To provide the benefits of a schema in such environments, we introduce DataGuides: concise and accurate structural...
169
click to vote
CONPAR
1992
15 years 11 months ago
1992
The algorithm designed in [12, 15] was the very first distributed algorithm to solve the mutual exclusion problem in complete networks by using a dynamic logical tree structure as...
183
click to vote
SAT
2010
Springer
15 years 10 months ago
2010
Springer
Some SAT-solvers are equipped with the ability to produce resolution proofs for problems which are unsatisfiable. Such proofs are used in a variety of contexts, including finding...
193
click to vote
ISER
2000
Springer
15 years 10 months ago
2000
Springer
: This paper addresses motion planning of a homogeneous modular robotic system. The modules have self-reconfiguration capability so that a group of the modules can construct a robo...
187
click to vote
SIGGRAPH
1991
ACM
15 years 10 months ago
1991
ACM
CT This paper describes how evolutionary techniques of variation and selection can be used to create complex simulated structures, textures, and motions for use in computer graphic...