250 search results - page 36 / 50 » State Space Representation for Verification of Open Systems |
159
click to vote
AWIC
2003
Springer
15 years 11 months ago
2003
Springer
Automatic and non-invasive web personalization seems to be a challenge for nowadays web sites. Many web mining techniques are used to achieve this goal. Since current web sites evo...
155
click to vote
ACMDIS
2006
ACM
15 years 12 months ago
2006
ACM
In this paper we describe a collaborative environment created to support distributed evaluation of a complex system architecture. The approach couples an interactive architecture ...
145
click to vote
ISVD
2007
IEEE
16 years 8 days ago
2007
IEEE
A very fundamental geometric problem on finite systems of spheres was independently phrased by Kneser (1955) and Poulsen (1954). According to their well-known conjecture if a fi...
196
click to vote
AGI
2011
14 years 9 months ago
2011
What set of concepts and formalizations might one use to make a practically useful, theoretically rigorous theory of generally intelligent systems? We present a novel perspective m...
176
click to vote
ICRA
2008
IEEE
16 years 13 days ago
2008
IEEE
Abstract— This work presents a multimodal bottom-up attention system for the humanoid robot iCub where the robot’s decisions to move eyes and neck are based on visual and acous...