3468 search results - page 168 / 694 » An open logical framework |
181
click to vote
ICRA
2008
IEEE
16 years 28 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...
168
click to vote
ICECCS
2005
IEEE
16 years 3 days ago
2005
IEEE
Due to the widespread trust threat under the open and dynamic Internet environment, the computer community has endeavored to engage in the studies of technologies for protecting a...
162
click to vote
VR
2002
IEEE
15 years 11 months ago
2002
IEEE
We present DIVERSE, a highly modular collection of complimentary software packages designed to facilitate the creation of device independent virtual environments. DIVERSE is free/...
170
click to vote
FORTE
2007
15 years 8 months ago
2007
We propose a novel approach to service choreography through a typed process calculus that features an event notification paradigm for coordinating distributed components (e.g., se...
204
click to vote
DBSEC
1996
15 years 7 months ago
1996
High assurance security is di cult to achieve in distributed computer systems and databases because of their complexity, non-determinism and inherent heterogeneity. The practical ...