394 search results - page 58 / 79 » An extensive math query language |
132
click to vote
ESWS
2005
Springer
15 years 7 months ago
2005
Springer
The Semantic Web is an extension of the current Web in which information is given well-defined meaning to support effective data discovery and integration. The RDF framework is a...
120
click to vote
ECIR
2007
Springer
15 years 3 months ago
2007
Springer
Measuring the similarity between documents and queries has been extensively studied in information retrieval. However, there are a growing number of tasks that require computing th...
112
Voted
WINET
2002
15 years 1 months ago
2002
Abstract. The widespread deployment of inexpensive communications technology, computational resources in the networking infrastructure, and network-enabled end devices poses an int...
136
click to vote
CSFW
2003
IEEE
15 years 7 months ago
2003
IEEE
SPKI/SDSI is a language for expressing distributed access control policy, derived from SPKI and SDSI. We provide a first-order logic (FOL) semantics for SDSI, and show that it ha...
115
Voted
ICLP
1997
Springer
15 years 6 months ago
1997
Springer
Kowalski and Sergot’s Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which propert...