Sciweavers

11573 search results - page 297 / 2315
» Designing Relational Databases
Sort
View
UIST
2005
ACM
16 years 7 days ago
Sensing and visualizing spatial relations of mobile devices
Location information can be used to enhance interaction with mobile devices. While many location systems require instrumentation of the environment, we present a system that allow...
Gerd Kortuem, Christian Kray, Hans-Werner Gellerse...
MPC
1995
Springer
91views Mathematics» more  MPC 1995»
15 years 10 months ago
A Refinement Relation Supporting the Transition from Unbounded to Bounded Communication Buffers
This paper proposes a refinement relation supporting the transition from unbounded to bounded communication buffers. Employing this refinement relation, a system specification base...
Ketil Stølen
FUIN
2007
86views more  FUIN 2007»
15 years 6 months ago
Relative Nondeterministic Information Logic is EXPTIME-complete
We define a relative version of the logic NIL introduced by Orłowska, Pawlak and Vakarelov and we show that satisfiability is not only decidable but also EXPTIME-complete. Such ...
Stéphane Demri, Ewa Orlowska
DBPL
1989
Springer
120views Database» more  DBPL 1989»
15 years 10 months ago
A Framework for Comparing Type Systems for Database Programming Languages
Several proposals have been published in recent years for database programming languages (DBPLs), many of which have been object-oriented. Our goal in this paper is not to argue f...
Antonio Albano, Alan Dearle, Giorgio Ghelli, Chris...
IROS
2007
IEEE
152views Robotics» more  IROS 2007»
16 years 29 days ago
Characterizing optimally fault-tolerant manipulators based on relative manipulability indices
— In this article, the authors examine the problem of designing nominal manipulator Jacobians that are optimally fault tolerant to one or more joint failures. In this work, optim...
Rodney G. Roberts, Hyun Geun Yu, Anthony A. Maciej...