Sciweavers

4940 search results - page 376 / 988
» On the Complexity of Universal Programs
Sort
View
KR
2010
Springer
15 years 11 months ago
Query and Predicate Emptiness in Description Logics
Ontologies can be used to provide an enriched vocabulary for the formulation of queries over instance data. We identify query emptiness and predicate emptiness as two central reas...
Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank...
APSEC
2000
IEEE
15 years 11 months ago
Virtual worlds for Web site visualisation
Internet and intranet web sites have become an integral part of software development as well as the wider fields of commercial, educational and recreational activity. In order to...
Danita Hartley, Neville Churcher, Greg Albertson
EH
2000
IEEE
114views Hardware» more  EH 2000»
15 years 11 months ago
Embryonics + Immunotronics: A Bio-Inspired Approach to Fault Tolerance
Fault tolerance has always been a standard feature of electronic systems intended for long-term missions. However, the high complexity of modern systems makes the incorporation of...
Daryl Bradley, Cesar Ortega-Sanchez, Andrew M. Tyr...
HICSS
2000
IEEE
154views Biometrics» more  HICSS 2000»
15 years 11 months ago
User-Interface Design for Medical Informatics: A Case Study of Kaiser Permanente
User interfaces (Uis) for client-server-and Web-based products and services must enable users around the world to access complex data and functions. Solutions to successful user-i...
Aaron Marcus, Karl Wieser, John Armitage, Volker F...
VRST
2000
ACM
15 years 11 months ago
DEVA3: architecture for a large-scale distributed virtual reality system
In this paper we present the work undertaken by the Advanced Interfaces Group at the University of Manchester into the design and development of a system to support large numbers ...
Steve Pettifer, Jonathan Cook, James Marsh, Adrian...