Query Order and the Polynomial Hierarchy
Hemaspaandra, Hempel, and Wechsung [cs.CC/9909020] initiated the field of query order, which studies the ways in which computational power is
arxiv.orgrank this link
Refine results · kind
Language classes
19 indexed results
Tally NP Sets and Easy Census Functions
We study the question of whether every P set has an easy (i.e., polynomial-time computable) census function. We characterize this
arxiv.orgrank this link
Jartege: a Tool for Random Generation of Unit Tests for Java Classes
This report presents Jartege, a tool which allows random generation of unit tests for Java classes specified in JML. JML
arxiv.orgrank this link
Ownership Confinement Ensures Representation Independence for Object-Oriented Programs
Dedicated to the memory of Edsger W.Dijkstra. Representation independence or relational parametricity formally characterizes the encapsulation provided by language constructs
arxiv.orgrank this link
ODP channel objects that provide services transparently for distributing processing systems
This paper describes an architecture for a distributing processing system that would allow remote procedure calls to invoke other services
arxiv.orgrank this link
Complexity of Two-Dimensional Patterns
In dynamical systems such as cellular automata and iterated maps, it is often useful to look at a language or
arxiv.orgrank this link
Axiomatizing Causal Reasoning
Causal models defined in terms of a collection of equations, as defined by Pearl, are axiomatized here. Axiomatizations are provided
arxiv.orgrank this link
Classes for Fast Maximum Entropy Training
Maximum entropy models are considered by many to be one of the most promising avenues of language modeling research. Unfortunately,
arxiv.orgrank this link
Why C++ is not very fit for GUI programming
With no intent of starting a holy war, this paper lists several annoying C++ birthmarks that the author has come
arxiv.orgrank this link
Supersymmetric AdS Backgrounds in String and M-theory
We first present a short review of general supersymmetric compactifications in string and M-theory using the language of G-structures and
arxiv.orgrank this link
Multi-Syllable Phonotactic Modelling
This paper describes a novel approach to constructing phonotactic models. The underlying theoretical approach to phonological description is the multisyllable
arxiv.orgrank this link
Logic programming in the context of multiparadigm programming: the Oz experience
Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed
arxiv.orgrank this link
Software Toolkit for Building Embedded and Distributed Knowledge-based Systems
The paper discusses the basic principles and the architecture of the software toolkit for constructing knowledge-based systems which can be
arxiv.orgrank this link
Thinking, Learning, and Autonomous Problem Solving
Ever increasing computational power will require methods for automatic programming. We present an alternative to genetic programming, based on a
arxiv.orgrank this link
Handling Defeasibilities in Action Domains
Representing defeasibility is an important issue in common sense reasoning. In reasoning about action and change, this issue becomes more
arxiv.orgrank this link
Reasoning about Evolving Nonmonotonic Knowledge Bases
Recently, several approaches to updating knowledge bases modeled as extended logic programs have been introduced, ranging from basic methods to
arxiv.orgrank this link
Haskell's overlooked object system
Haskell provides type-class-bounded and parametric polymorphism as opposed to subtype polymorphism of object-oriented languages such as Java and OCaml. It
arxiv.orgrank this link
Corpus-based Learning of Analogies and Semantic Relations
We present an algorithm for learning from unlabeled text, based on the Vector Space Model (VSM) of information retrieval, that
arxiv.orgrank this link
Learning Analogies and Semantic Relations
We present an algorithm for learning from unlabeled text, based on the Vector Space Model (VSM) of information retrieval, that
arxiv.orgrank this link