4320 search results - page 47 / 864 » Functional Objects |
120
Voted
VSTTE
2012
Springer
13 years 8 months ago
2012
Springer
Motivated by the problem of deciding verification conditions for the verification of functional programs, we present new decision procedures for automated reasoning about functio...
COMSIS
2010
14 years 10 months ago
2010
In Photometric stereo, the existence of specularities hampers to recover the normal map. To deal with this common reflective phenomenon, we introduce a novel representation for spe...
100
Voted
MLDM
2005
Springer
15 years 6 months ago
2005
Springer
Assessing the similarity between objects is a prerequisite for many data mining techniques. This paper introduces a novel approach to learn distance functions that maximizes the c...
106
Voted
GECCO
2009
Springer
15 years 7 months ago
2009
Springer
A central tenet of embodied artificial intelligence is that intelligent behavior arises out of the coupled dynamics between an agent’s body, brain and environment. It follows t...
127
click to vote
KES
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. A mobile robot that interacts with its environment needs a machineunderstandable representation of objects and their usages. We present an ontology of objects, with gener...