3142 search results - page 288 / 629 » Applied ontology issues |
179
click to vote
CF
2005
ACM
15 years 8 months ago
2005
ACM
Result checking is the theory and practice of proving that the result of an execution of a program on an input is correct. Result checking has most often been envisioned in the fr...
179
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— Many architectures have been proposed to solve tightly-coupled multirobot tasks (MT) through coalitions of heterogeneous robots. However, several issues remain unaddressed. As ...
196
click to vote
IJCINI
2007
15 years 6 months ago
2007
: The theme of this issue of IJCINI is on cognitive mechanisms of autonomic computing and laws of human cooperative work organization. This editorial addresses key notions of this ...
161
Voted
CVPR
2000
IEEE
16 years 8 months ago
2000
IEEE
Machine perception can benefit from the use of features extracted from data provided by a variety of sensor modalities. Recent advances in sensor design makes it possible to incor...
158
click to vote
CVPR
2006
IEEE
16 years 8 months ago
2006
IEEE
Johnson and Hebert's spin-images have been applied to the registration of range images and object recognition with much success because they are rotation, scale, and pose inv...