796 search results - page 66 / 160 » A Formalization of ODMG Queries |
163
click to vote
PPSWR
2005
Springer
15 years 5 months ago
2005
Springer
We present typing rules for the Web query language Xcerpt. The rules provide a descriptive type system: the typing of a program is an ation of its semantics. The rules can also be ...
113
click to vote
KR
2004
Springer
15 years 5 months ago
2004
Springer
There are numerous applications such as air traffic management, cellular phone location tracking, and vehicle protection systems where there is a critical need to reason about mo...
102
click to vote
ICCS
2000
Springer
15 years 3 months ago
2000
Springer
With the aim of building a "Semantic Web", the content of the documents must be explicitly represented through metadata in order to enable contents-guided search. Our app...
SEMWEB
2007
Springer
15 years 6 months ago
2007
Springer
This paper shows how a Fuzzy Ontology based approach can improve semantic documents retrieval. After formally defining a Fuzzy Knowledge Base, it is discussed a special type of ne...
100
click to vote
ICECCS
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper formalizes the notion of a design model structurally conforming to a design pattern by representing the model as a logic program whilst the pattern as a query. The conf...