Sciweavers

2373 search results - page 268 / 475
» On the Theory of Structural Subtyping
Sort
View
LATA
2009
Springer
16 years 1 months ago
A Kleene Theorem for Forest Languages
This paper proposes an alternative approach to the standard notion of rational (or regular) expression for tree languages. The main difference is that in the new notion we have on...
Lutz Straßburger
DATE
2009
IEEE
106views Hardware» more  DATE 2009»
16 years 1 months ago
Optimal sizing of configurable devices to reduce variability in integrated circuits
This paper describes a systematic approach that facilitates yield improvement of integrated circuits at the post-manufacture stage. A new Configurable Analogue Transistor (CAT) st...
Peter Wilson, Reuben Wilcock
FOCS
2009
IEEE
16 years 1 months ago
Convergence to Equilibrium in Local Interaction Games
— We study a simple game theoretic model for the spread of an innovation in a network. The diffusion of the innovation is modeled as the dynamics of a coordination game in which ...
Andrea Montanari, Amin Saberi
IEEEICCI
2009
IEEE
16 years 1 months ago
The Embodied Communication Prior: A characterization of general intelligence in the context of Embodied social interaction
We outline a general conceptual definition of real-world general intelligence that avoids the twin pitfalls of excessive mathematical generality, and excessive anthropomorphism.. ...
Ben Goertzel
IROS
2009
IEEE
185views Robotics» more  IROS 2009»
16 years 1 months ago
Constraint task-based control in industrial settings
Abstract— Direct physical human-robot interaction has become a central part in the research field of robotics today. To use the advantages of the potential for humans and robots...
Claus Lenz, Markus Rickert, Giorgio Panin, Alois K...