3233 search results - page 283 / 647 » Validation Method for Intelligent Systems |
139
click to vote
JAIR
2010
15 years 2 months ago
2010
Grounding is the task of reducing a first-order theory and finite domain to an equivalent propositional theory. It is used as preprocessing phase in many logic-based reasoning s...
155
click to vote
3DPVT
2006
IEEE
15 years 10 months ago
2006
IEEE
3D imaging is a popular method for acquiring accurate models for a variety of applications. However, the size of the geometric features that can be modeled in this manner is depen...
173
click to vote
SDM
2012
SIAM
13 years 6 months ago
2012
SIAM
A Cyber-Physical System (CPS) integrates physical (i.e., sensor) devices with cyber (i.e., informational) components to form a situation-aware system that responds intelligently t...
145
click to vote
HRI
2006
ACM
15 years 10 months ago
2006
ACM
Programming robots to carry out useful tasks is both a complex and non-trivial exercise. A simple and intuitive method to allow humans to train and shape robot behaviour is clearl...
127
click to vote
IEAAIE
2000
Springer
15 years 8 months ago
2000
Springer
Gathering, maintenance, integration and presentation of statistics are major activities of the Dutch Agricultural Economics Research Institute LEI. In this paper we explore how kno...