1162 search results - page 173 / 233 » Monotonic Semantic Interpretation |
102
click to vote
NMR
2004
Springer
15 years 5 months ago
2004
Springer
Current literature offers a number of different approaches to what could generally be called “probabilistic logic programming”. These are usually based on Horn clauses. Here, ...
115
Voted
RTA
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. In this paper it is described how a combination of polynomial interpretations, recursive path order, RFC match-bounds, the dependency pair method and semantic labelling c...
109
click to vote
SSPR
2004
Springer
15 years 5 months ago
2004
Springer
The creation of a cognitive perception systems capable of inferring higher-level semantic information from low-level feature and event information for a given type of multimedia co...
131
Voted
ICVS
2001
Springer
15 years 5 months ago
2001
Springer
High-level vision systems use object, scene or domain specific knowledge to interpret images. Unfortunately, this knowledge has to be acquired for every domain. This makes it diffi...
103
click to vote
AMAST
2000
Springer
15 years 4 months ago
2000
Springer
The primary objective of this paper is to present the deÿnition of a new dynamic, linear and modal logic for security protocols. The logic is compact, expressive and formal. It a...