2317 search results - page 28 / 464 » DMVIS: Design, Modelling and Validation of Interactive Syste... |
SERP
2003
13 years 9 months ago
2003
— Our work focuses on the use of formal techniques in order to increase the quality of HCI software and of all the processes resulting from the development, verification, design...
ICTAI
2008
IEEE
14 years 2 months ago
2008
IEEE
Ontologies are a well-motivated formal representation to model knowledge needed to extract and encode data from text. Yet, their tight integration with Information Extraction (IE)...
VISUALIZATION
2000
IEEE
14 years 9 days ago
2000
IEEE
This paper describes a computer modeling and simulation system that supports computational steering, which is an effort to make the typical simulation workflow more efficient. O...
JIKM
2008
13 years 7 months ago
2008
Expert systems (ESs) are complex information systems that are expensive to build and difficult to validate. Numerous knowledge representation strategies such as rules, semantic net...
EWC
2007
13 years 7 months ago
2007
This paper presents research that led to the design and implementation of fast and interactive collision detection methods that can be used to identify and report undesirable con...