Sciweavers

28962 search results - page 249 / 5793
» Computational Mechanism Design
Sort
View
TABLEAUX
1999
Springer
15 years 10 months ago
Sequent Calculi for Nominal Tense Logics: A Step Towards Mechanization?
Abstract. We define sequent-style calculi for nominal tense logics characterized by classes of modal frames that are first-order definable by certain Π0 1 -formulae and Π0 2 -...
Stéphane Demri
JUCS
2008
107views more  JUCS 2008»
15 years 6 months ago
Metaclasses and Zoning Mechanism Applied to Handwriting Recognition
: The contribution of this paper is twofold. First we investigate the use of the confusion matrices in order to get some insight to better define perceptual zoning for character re...
Cinthia Obladen de Almendra Freitas, Luiz S. Olive...
COLING
2002
15 years 6 months ago
Towards a Noise-Tolerant, Representation-Independent Mechanism for Argument Interpretation
We describe a mechanism for the interpretation of arguments, which can cope with noisy conditions in terms of wording, beliefs and argument structure. This is achieved through the...
Ingrid Zukerman, Sarah George
IJON
2000
70views more  IJON 2000»
15 years 6 months ago
Electrosensory response mechanisms in mormyrid electric fish
Mormyrid electric sh use mormyromastreceptors in their skin to detect distortions in a self-generated electric eld. The electroreceptor a erents modulate neuronal activity in the ...
Patrick D. Roberts
ICRA
2010
IEEE
117views Robotics» more  ICRA 2010»
15 years 5 months ago
Data-driven optimization for underactuated robotic hands
— Passively adaptive and underactuated robotic hands have shown the potential to achieve reliable grasping in unstructured environments without expensive mechanisms or sensors. I...
Matei T. Ciocarlie, Peter K. Allen