3552 search results - page 523 / 711 » Proof theory in the abstract |
162
click to vote
LATA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The present paper surveys recent developments in algorithmic teaching. First, the traditional teaching dimension model is recalled. Starting from the observation that the...
159
click to vote
STACS
2009
Springer
16 years 1 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...
167
click to vote
CONIELECOMP
2009
IEEE
16 years 1 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 ...
165
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—We present a motion planning algorithm that computes rough trajectories used by a contact-points planner as a guide to grow its search graph. We adapt collision-free mot...
163
click to vote
ISMVL
2009
IEEE
16 years 1 months ago
2009
IEEE
For formal verification of hardware Satisfiability Modulo Theory (SMT) solvers are increasingly applied. Today’s state-of-the-art SMT solvers use different techniques like ter...