COSIT
2009
Springer
13 years 10 months ago
2009
Springer
People intuitively understand that function and purpose are critical parts of what human-configured entities are about, but these notions have proved difficult to capture formally....
ICST
2010
IEEE
13 years 10 months ago
2010
IEEE
Mobile computing systems provide new challenges for verification. One of them is the dynamicity of the system structure, with mobility-induced connections and disconnections, dynam...
FLAIRS
2008
14 years 2 months ago
2008
We describe an effort to train a RoboCup soccer-playing agent playing in the Simulation League using casebased reasoning. The agent learns (builds a case base) by observing the be...
C5
2008
IEEE
14 years 7 months ago
2008
IEEE
This paper, referring to a work in progress, describes functional elements of the user interface of a Virtual World that may provide an important contribution to the process by wh...
ICCV
2007
IEEE
15 years 2 months ago
2007
IEEE
We present a novel approach to automatically find spatial configurations of local features occurring frequently on instances of a given object class, and rarely on the background....
CVPR
2004
IEEE
15 years 2 months ago
2004
IEEE
We describe a method for obtaining the principal objects, characters and scenes in a video by measuring the reoccurrence of spatial configurations of viewpoint invariant features....