835 search results - page 78 / 167 » Characterizing rosy theories |
CHI
2004
ACM
16 years 5 days ago
2004
ACM
We identify a wide range of human memory phenomena as potential certificates of identity. These "imprinting" behaviors are characterized by vast capacity for complex exp...
FOSSACS
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We define and study an automata model of concurrent recursive programs. An automaton consists of a finite number of pushdown systems running in parallel and communicati...
112
click to vote
LATA
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Motivated by strong Karp-Lipton collapse results in bounded arithmetic, Cook and Kraj´ıˇcek [7] have recently introduced the notion of propositional proof systems with...
STACS
2009
Springer
15 years 6 months ago
2009
Springer
The homomorphism problem for relational structures is an abstract way of formulating constraint satisfaction problems (CSP) and various problems in database theory. The decision ve...
CONIELECOMP
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract— This paper presents a new control family of fixedcamera visual servoing for planar robot manipulators. The methodology is based-on energy shaping methodology in order ...