3571 search results - page 294 / 715 » Cohen and Set Theory |
179
click to vote
SMC
2007
IEEE
16 years 1 months ago
2007
IEEE
— The field of robotics is on a growth curve, with most of the growth expected in the areas of personal and service robots. As robots become more prevalent in chaotic home and in...
180
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
Placing our result in a web of related mechanised results, we give a direct proof that the de Bruijn λ-calculus (`a la Huet, Nipkow and Shankar) is isomorphic to an α-quotiented ...
260
click to vote
ILC
2007
Springer
16 years 28 days ago
2007
Springer
Two-way alternating automata were introduced by Vardi in order to study the satisfiability problem for the modal µ-calculus extended with backwards modalities. In this paper, we ...
140
Voted
SUM
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. The paper presents a valued extension of the recently introduced concept of PQI interval order. The main idea is that, while comparing objects represented by interval of ...
172
click to vote
WG
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. We present hardness results, approximation heuristics, and exact algorithms for bottleneck labeled optimization problems arising in the context of graph theory. This long...