Sciweavers

4180 search results - page 546 / 836
» A Query Language for XML
Sort
View
MODELS
2007
Springer
16 years 23 days ago
A Metamodel-Based Approach for Analyzing Security-Design Models
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
David A. Basin, Manuel Clavel, Jürgen Doser, ...
SIGIR
2004
ACM
16 years 2 days ago
The document as an ergodic markov chain
In recent years, statistical language models are being proposed as alternative to the vector space model. Viewing documents as language samples introduces the issue of defining a...
Eduard Hoenkamp, Dawei Song
AAAI
2004
15 years 8 months ago
PRECISE on ATIS: Semantic Tractability and Experimental Results
The need for Natural Language Interfaces to databases (NLIs) has become increasingly acute as more and more people access information through their web browsers, PDAs, and cell ph...
Ana-Maria Popescu, Alex Armanasu, Oren Etzioni, Da...
VLDB
2006
ACM
207views Database» more  VLDB 2006»
16 years 6 months ago
Modeling and querying moving objects in networks
: Moving Objects Databases have become an important research issue in recent years. For and querying moving objects, there exists a comprehensive framework of abstract data types t...
Ralf Hartmut Güting, Victor Teixeira de Almeida, ...
FOCS
2008
IEEE
16 years 1 months ago
Two Query PCP with Sub-Constant Error
We show that the NP-Complete language 3SAT has a PCP verifier that makes two queries to a proof of almost-linear size and achieves sub-constant probability of error o(1). The ver...
Dana Moshkovitz, Ran Raz