1608 search results - page 144 / 322 » Functional Understanding Based on an Ontology of Functional ... |
ROBOCUP
2007
Springer
14 years 2 months ago
2007
Springer
Decision making is an important issue in robot soccer, which has not been investigated deeply enough by the RoboCup research community. This paper proposes a probabilistic approach...
PRDC
2005
IEEE
14 years 1 months ago
2005
IEEE
Although the main fault-tolerance techniques are known for a long time, there exists no consistent approach for implementing dependable applications in the sense that the fault-to...
TYPES
1999
Springer
14 years 13 days ago
1999
Springer
We propose a method to search for a lemma in a goq proof library by using the lemma type as a key. The method is based on the concept of type isomorphism developed within the funct...
IJCAI
1989
13 years 9 months ago
1989
This paper describes DIDO, a system we have developed to carry out exploratory learning of unfamiliar domains without assistance from an external teacher. The program incorporates...
ETS
2010
IEEE
13 years 9 months ago
2010
IEEE
This paper explores the concept of design diversity redundancy applied to mixed-signal (MS) circuit blocks, as a proposal to increase system reliability. Three different implement...