Sciweavers

CORR
2011
Springer
190views Education» more  CORR 2011»
14 years 10 months ago
Compiling Causal Theories to Successor State Axioms and STRIPS-Like Systems
We describe a system for specifying the effects of actions. Unlike those commonly used in AI planning, our system uses an action description language that allows one to specify t...
Fangzhen Lin
CORR
2011
Springer
148views Education» more  CORR 2011»
14 years 10 months ago
Translation of Pronominal Anaphora between English and Spanish: Discrepancies and Evaluation
This paper evaluates the different tasks carried out in the translation of pronominal anaphora in a machine translation (MT) system. The MT interlingua approach named AGIR (Anaph...
Antonio Ferrández, Jesús Peral
CORR
2011
Springer
217views Education» more  CORR 2011»
14 years 10 months ago
Interactive Execution Monitoring of Agent Teams
There is an increasing need for automated support for humans monitoring the activity of distributed teams of cooperating agents, both human and machine. We characterize the domain...
Pauline Berry, Thomas J. Lee, David E. Wilkins
CORR
2011
Springer
183views Education» more  CORR 2011»
14 years 10 months ago
Learning When Training Data are Costly: The Effect of Class Distribution on Tree Induction
For large, real-world inductive learning problems, the number of training examples often must be limited due to the costs associated with procuring, preparing, and storing the tra...
Foster J. Provost, Gary M. Weiss
CORR
2011
Springer
152views Education» more  CORR 2011»
14 years 10 months ago
Sub-Nyquist Sampling: Bridging Theory and Practice
Moshe Mishali, Yonina C. Eldar
CORR
2011
Springer
144views Education» more  CORR 2011»
14 years 10 months ago
Rewriting Ontological Queries into Small Nonrecursive Datalog Programs
Abstract. We consider the setting of ontological database access, where an Abox is given in form of a relational database D and where a Boolean conjunctive query q has to be evalua...
Georg Gottlob, Thomas Schwentick
CORR
2011
Springer
146views Education» more  CORR 2011»
14 years 10 months ago
Exploratory simulation of an Intelligent Iris Verifier Distributed System
— This paper discusses some topics related to the latest trends in the field of evolutionary approaches to iris recognition. It presents the results of an exploratory experimenta...
Nicolaie Popescu-Bodorin, Valentina E. Balas
CORR
2011
Springer
142views Education» more  CORR 2011»
14 years 10 months ago
On the Locality of Codeword Symbols
Consider a linear [n, k, d]q code C. We say that that i-th coordinate of C has locality r, if the value at this coordinate can be recovered from accessing some other r coordinates...
Parikshit Gopalan, Cheng Huang, Huseyin Simitci, S...
CORR
2011
Springer
199views Education» more  CORR 2011»
14 years 10 months ago
Surrogate Parenthood: Protected and Informative Graphs
Many applications, including provenance and some analyses of social networks, require path-based queries over graphstructured data. When these graphs contain sensitive information...
Barbara T. Blaustein, Adriane Chapman, Len Seligma...
CORR
2011
Springer
179views Education» more  CORR 2011»
14 years 10 months ago
The restricted isometry property for time-frequency structured random matrices
We establish the restricted isometry property for finite dimensional Gabor systems, that is, for families of time–frequency shifts of a randomly chosen window function. We show...
Götz E. Pfander, Holger Rauhut, Joel A. Tropp