644 search results - page 93 / 129 » Translation the Wiki way |
ECAI
2004
Springer
14 years 1 months ago
2004
Springer
Friedman and Halpern have introduced the inference by plausibility structures, which provides semantics for various default logics. This is a generalization of known inferences, su...
ESA
2004
Springer
14 years 1 months ago
2004
Springer
We propose the linear axis, a new skeleton for polygonal shapes. It is related to the medial axis and the straight skeleton, being the result of a wavefront propagation process. Th...
ICALP
2004
Springer
14 years 1 months ago
2004
Springer
In order to enable communication between a dynamic collection of peers with given ID’s, such as “machine.cs.school.edu”, over the Internet, a distributed name service must b...
PADL
2004
Springer
14 years 1 months ago
2004
Springer
We describe the current status of and provide performance results for a prototype compiler of Prolog to C, ciaocc. ciaocc is novel in that it is designed to accept different kinds...
29
Voted
RULEML
2004
Springer
14 years 1 months ago
2004
Springer
In this paper we present R-DEVICE, a deductive rule language for reasoning about RDF metadata. R-DEVICE includes features such as normal and generalized path expressions, stratifie...