23 search results - page 2 / 5 » Structure Evolution and Incomplete Induction |
ICRA
1995
IEEE
13 years 9 months ago
1995
IEEE
A generic architecture for evolutive supervision of robotized assembly tasks is presented. This architecture , at different levels of abstraction, functions for dispatching action...
CORR
2006
Springer
13 years 5 months ago
2006
Springer
We investigate here concept learning from incomplete examples. Our first purpose is to discuss to what extent logical learning settings have to be modified in order to cope with da...
AAMAS
2008
Springer
13 years 5 months ago
2008
Springer
This article introduces a new theory of intention representation which is based1 on a structure called a Dynamic Intention Structure (DIS). The theory of DISs was motivated2 by the...
POPL
2012
ACM
12 years 27 days ago
2012
ACM
We develop logical mechanisms and decision procedures to facilitate the verification of full functional properties of inductive tree data-structures using recursion that are soun...
KDD
2009
ACM
14 years 3 days ago
2009
ACM
There is a growing wealth of data describing networks of various types, including social networks, physical networks such as transportation or communication networks, and biologic...