Sciweavers

3073 search results - page 199 / 615
» Real World Verification
Sort
View
137
Voted
FM
2003
Springer
94views Formal Methods» more  FM 2003»
15 years 10 months ago
On Failures and Faults
: Real computer-based systems fail, and hence are often far less dependable than their owners and users need and desire. Individuals, organisations and indeed the world at large ar...
Brian Randell
MC
2008
126views Computer Science» more  MC 2008»
15 years 6 months ago
Identifying User Interface Patterns from Pertinent Multimodal Interaction Use Cases
The context of this work is usability engineering for multimodal interaction. In contrast to other work centrates on prototyping toolkits or abstract guidelines, this research foc...
Andreas Ratzka
144
Voted
CONNECTION
2006
91views more  CONNECTION 2006»
15 years 5 months ago
From unknown sensors and actuators to actions grounded in sensorimotor perceptions
This article describes a developmental system based on information theory implemented on a real robot that learns a model of its own sensory and actuator apparatus. There is no in...
Lars Olsson, Chrystopher L. Nehaniv, Daniel Polani
VLDB
2002
ACM
110views Database» more  VLDB 2002»
15 years 4 months ago
Eliminating Fuzzy Duplicates in Data Warehouses
The duplicate elimination problem of detecting multiple tuples, which describe the same real world entity, is an important data cleaning problem. Previous domain independent solut...
Rohit Ananthakrishna, Surajit Chaudhuri, Venkatesh...
181
Voted
VR
2002
IEEE
293views Virtual Reality» more  VR 2002»
15 years 4 months ago
Experiments with Face-To-Face Collaborative AR Interfaces
We describe a design approach, Tangible Augmented Reality, for developing face-to-face collaborative Augmented Reality (AR) interfaces. Tangible Augmented Reality combines Augment...
Mark Billinghurst, Hirokazu Kato, Kiyoshi Kiyokawa...