11397 search results - page 130 / 2280 » A Relational Abstraction for Functions |
193
click to vote
PKC
2012
Springer
13 years 9 months ago
2012
Springer
We define a new notion of relatively-sound non-interactive zeroknowledge (NIZK) proofs, where a private verifier with access to a trapdoor continues to be sound even when the Ad...
216
click to vote
AAAI
2011
14 years 6 months ago
2011
Action modeling is an important skill for agents that must perform tasks in novel domains. Previous work on action modeling has focused on learning STRIPS operators in discrete, r...
221
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Let X be a non-negative random variable and let the conditional distribution of a random variable Y , given X, be Poisson(γ · X), for a parameter γ ≥ 0. We identify a natural...
222
click to vote
JAIR
2011
15 years 1 months ago
2011
Current evaluation functions for heuristic planning are expensive to compute. In numerous planning problems these functions provide good guidance to the solution, so they are wort...
149
click to vote
ICTAI
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper introduces ELEON, an editor that allows the enrichment of OWL ontologies with linguistic and user-related annotations. The enriched ontologies are used by natural langu...