Sciweavers

16 search results - page 1 / 4
» Some Notes on the Formal Properties of Bidirectional Optimal...
Sort
View
JOLLI
2002
125views more  JOLLI 2002»
13 years 4 months ago
Some Notes on the Formal Properties of Bidirectional Optimality Theory
In this paper, we discuss some formal properties of the model of bidirectional Optimality Theory that was developed in Blutner 2000. We investigate the conditions under which bidi...
Gerhard Jäger
ICFCA
2007
Springer
13 years 11 months ago
Some Notes on Pseudo-closed Sets
Pseudo-intents (also called pseudo-closed sets) of formal contexts have gained interest in recent years, since this notion is helpful for finding minimal representations of impli...
Sebastian Rudolph
TLDI
2005
ACM
151views Formal Methods» more  TLDI 2005»
13 years 10 months ago
Strict bidirectional type checking
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, ...
Adam J. Chlipala, Leaf Petersen, Robert Harper
AAAI
2004
13 years 6 months ago
Extending CP-Nets with Stronger Conditional Preference Statements
A logic of conditional preferences is defined, with a language which allows the compact representation of certain kinds of conditional preference statements, a semantics and a pro...
Nic Wilson
BC
2005
101views more  BC 2005»
13 years 4 months ago
A control theory approach to the analysis and synthesis of the experimentally observed motion primitives
Recent experiments on frogs and rats, have led to the hypothesis that sensory-motor systems are organized into a finite number of linearly combinable modules; each module generates...
Francesco Nori, Ruggero Frezza