Sciweavers

6722 search results - page 221 / 1345
» The DSML4MAS development environment
Sort
View
ENTCS
2008
94views more  ENTCS 2008»
15 years 6 months ago
A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code
This paper presents our solutions to some problems we encountered in an ongoing attempt to verify the micro-hypervisor currently developed within the Robin project. The problems t...
Hendrik Tews, Tjark Weber, Marcus Völp
144
Voted
ETS
2002
IEEE
121views Hardware» more  ETS 2002»
15 years 6 months ago
Interactions of organizational culture and collaboration in working and learning
This paper reports the methodologies and findings of research done by the Enterprise Social Learning Architecture (ESLA) Task into learning processes in two diverse environments w...
Irena M. Ali, Celina Pascoe, Leoni Warne
214
Voted
PAMI
2002
151views more  PAMI 2002»
15 years 5 months ago
Vision for Mobile Robot Navigation: A Survey
This paper surveys the developments of the last 20 years in the area of vision for mobile robot navigation. Two major components of the paper deal with indoor navigation and outdoo...
Guilherme N. DeSouza, Avinash C. Kak
IAT
2008
IEEE
16 years 18 days ago
Extracting Key Factors to Design Applications in Ambient Intelligence Environment
In an ambient intelligence environment, the design of applications influences the users behavior heavily. The purpose of this paper is to provide key factors considered necessary...
Hiroaki Kimura, Tatsuo Nakajima
MHCI
2004
Springer
15 years 11 months ago
Butler: A Universal Speech Interface for Mobile Environments
Abstract. Speech interfaces are about to be integrated in consumer appliances and embedded systems and are expected to be used by mobile users in ubiquitous computing environments....
Botond Pakucs