796 search results - page 66 / 160 » A Formalization of ODMG Queries |
259
click to vote
PPSWR
2005
Springer
15 years 11 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 ...
174
Voted
KR
2004
Springer
15 years 11 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...
169
click to vote
ICCS
2000
Springer
15 years 9 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...
152
click to vote
SEMWEB
2007
Springer
16 years 6 days 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...
165
click to vote
ICECCS
2006
IEEE
16 years 4 days 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...