2501 search results - page 177 / 501 » Logics with Rank Operators |
160
Voted
CADE
2008
Springer
15 years 6 months ago
2008
Springer
LogAnswer is an open domain question answering system which employs an automated theorem prover to infer correct replies to natural language questions. For this purpose LogAnswer o...
173
click to vote
LANMR
2004
15 years 5 months ago
2004
Hybrid probabilistic programs framework [5] is a variation of probabilistic annotated logic programming approach, which allows the user to explicitly encode the available knowledge...
149
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
We introduce ‘atomic flows’: they are graphs obtained from derivations by tracing atom occurrences and forgetting the logical structure. We study simple manipulations of atomi...
120
click to vote
SCALESPACE
2009
Springer
15 years 11 months ago
2009
Springer
The Beltrami flow is an efficient non-linear filter, that was shown to be effective for color image processing. The corresponding anisotropic diffusion operator strongly couple...
157
click to vote
KRDB
2003
15 years 5 months ago
2003
The Polylog framework is designed to provide a language for efficiently automating complex queries of information represented in multiple formats. A Polylog program contains a set...