3804 search results - page 500 / 761 » From Here to There |
188
click to vote
JSC
2002
15 years 6 months ago
2002
We describe a framework of algebraic structures in the proof assistant Coq. We have developed this framework as part of the FTA project in Nijmegen, in which a constructive proof ...
157
click to vote
JIRS
1998
15 years 6 months ago
1998
After a brief review of the current research on multi-robot systems, the paper presents a path planning and control scheme for a cooperative three-robot system transferring/manipul...
179
click to vote
NN
2002
Springer
15 years 6 months ago
2002
Springer
Recognition-by-components is one of the possible strategies proposed for object recognition by the brain, but little is known about the low-level mechanism by which the parts of o...
213
click to vote
PC
2002
15 years 6 months ago
2002
An emerging class of data-intensive applications involve the geographically dispersed extraction of complex scientific information from very large collections of measured or compu...
176
click to vote
SIGMETRICS
1998
ACM
15 years 6 months ago
1998
ACM
The increasing complexity of computer networks and our increasing dependence on them means enforcing reliability requirements is both more challenging and more critical. The expan...