Sciweavers

50 search results - page 9 / 10
» Query Languages Workshop Position Paper
Sort
View
PERVASIVE
2006
Springer
13 years 5 months ago
Scalability in a Secure Distributed Proof System
Abstract. A logic-based language is often adopted in systems for pervasive computing, because it provides a convenient way to define rules that change the behavior of the systems d...
Kazuhiro Minami, David Kotz
JAPLL
2010
104views more  JAPLL 2010»
13 years 4 months ago
Complete axiomatizations for XPath fragments
We provide complete axiomatizations for several fragments of XPath: sets of equivalences from which every other valid equivalence is derivable. Specifically, we axiomatize downwar...
Balder ten Cate, Tadeusz Litak, Maarten Marx
COLING
2010
13 years 22 days ago
Discriminative Training for Near-Synonym Substitution
Near-synonyms are useful knowledge resources for many natural language applications such as query expansion for information retrieval (IR) and paraphrasing for text generation. Ho...
Liang-Chih Yu, Hsiu-Min Shih, Yu-Ling Lai, Jui-Fen...
VLDB
2004
ACM
96views Database» more  VLDB 2004»
14 years 6 months ago
Multidimensional data modeling for location-based services
With the recent and continuing advances in areas such as wireless communications and positioning technologies, mobile, locationbased services are becoming possible. Such services ...
Christian S. Jensen, Augustas Kligys, Torben Bach ...
SDB
1995
91views Database» more  SDB 1995»
13 years 9 months ago
Semantics in Spatial Databases
In this paper we discuss two data models for spatial database systems: the linear data model and the topological data model. Both can be used to model a wide range of applications....
Bart Kuijpers, Jan Paredaens, Luc Vandeurzen