Sciweavers

1020 search results - page 80 / 204
» Advanced Teleoperation Architecture
Sort
View
DLOG
2001
14 years 11 months ago
Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions
This paper investigates an optimization technique for reasoning with qualified number restrictions in the description logic ALCQHR+ . We present a hybrid architecture where a stan...
Volker Haarslev, Martina Timmann, Ralf Möller
PDSE
1998
103views more  PDSE 1998»
14 years 11 months ago
Towards a Framework for Testing Distributed Multimedia Software Systems
With the advancement in network speed and computing power; distributed multimedia applications are becoming populal: However;generalprinciples of system testing cannot be directly...
Jelena V. Misic, Samuel T. Chanson, Shing-Chi Cheu...
SYBEN
1998
317views more  SYBEN 1998»
14 years 11 months ago
Implementation of Virtual LANs over ATM WANs
Virtual LANs (VLANs) allow to interconnect users over campus or wide area networks and gives the users the impression as they would be connected to the same local area network (LA...
Torsten Braun, Martin Mähler
CORR
2002
Springer
128views Education» more  CORR 2002»
14 years 10 months ago
The Deductive Database System LDL++
This paper describes the LDL++ system and the research advances that have enabled its design and development. We begin by discussing the new nonmonotonic and nondeterministic cons...
Faiz Arni, KayLiang Ong, Shalom Tsur, Haixun Wang,...
HCI
2009
14 years 7 months ago
Development of Open Platform Based Adaptive HCI Concepts for Elderly Users
This paper describes the framework and development process of adaptive user interfaces within the OASIS project. After presenting a rationale for user interface adaptation to addre...
Jan-Paul Leuteritz, Harald Widlroither, Alexandros...