Sciweavers

498 search results - page 37 / 100
» A Formal Foundation for XrML
Sort
View
SBBD
2003
86views Database» more  SBBD 2003»
14 years 11 months ago
XML: From Practice to Theory
The development of XML technology has occurred very rapidly, initially leaving theory behind. As is often the case in such situations, practical development sometimes seemed more ...
Victor Vianu
MTV
2005
IEEE
100views Hardware» more  MTV 2005»
15 years 3 months ago
A Study of Architecture Description Languages from a Model-based Perspective
Abstract— Owing to the recent trend of using applicationspecific instruction-set processors (ASIP), many Architecture Description Languages (ADLs) have been created. They specif...
Wei Qin, Sharad Malik
IJSI
2008
126views more  IJSI 2008»
14 years 10 months ago
Modelling Route Instructions for Robust Human-Robot Interaction on Navigation Tasks
In this paper, we demonstrate the use of qualitative spatial modelling as the foundation for the conceptual representation of route instructions, to enable robust humanrobot intera...
Hui Shi, Bernd Krieg-Brückner
173
Voted
ICDE
2000
IEEE
116views Database» more  ICDE 2000»
15 years 11 months ago
Query Plans for Conventional and Temporal Queries Involving Duplicates and Ordering
Most real-world database applications contain a substantial portion of time-referenced, or temporal, data. Recent advances in temporal query languages show that such database appl...
Giedrius Slivinskas, Christian S. Jensen, Richard ...
ICDT
2009
ACM
127views Database» more  ICDT 2009»
15 years 4 months ago
A logical account of uncertain databases based on linear logic
A formal semantics of uncertain databases typically takes an algebraic approach by mapping an uncertain database to a set of relational databases, or possible worlds. We present a...
Sungwoo Park, Seung-won Hwang