2981 search results - page 351 / 597 » Answer Set Planning |
129
click to vote
JSYML
2007
15 years 5 months ago
2007
Abstract. An amalgamation base p in a simple theory is stably definable if its canonical base is interdefinable with the set of canonical parameters for the φ-definitions of p ...
124
click to vote
AML
2000
15 years 5 months ago
2000
The Wholeness Axiom (WA) is an axiom schema that can be added to the axioms of ZFC in an extended language {, j}, and that asserts the existence of a nontrivial elementary embeddin...
131
click to vote
ICASSP
2010
IEEE
15 years 3 months ago
2010
IEEE
Does there exist a compact set of visual topics in form of keyword clusters capable to represent all images visual content within an acceptable error? In this paper, we answer thi...
163
click to vote
JACM
2010
15 years 3 months ago
2010
We present a fully dynamic randomized data structure that can answer queries about the convex hull of a set of n points in three dimensions, where insertions take O(log3 n) expect...
156
click to vote
APN
2010
Springer
15 years 3 months ago
2010
Springer
Workflow mining is the task of automatically producing a workflow model from a set of event logs recording sequences of workflow events; each sequence corresponds to a use case or ...