1802 search results - page 196 / 361 » Model-based Theory Combination |
110
Voted
CVPR
2010
IEEE
15 years 10 months ago
2010
IEEE
In this paper, we propose a new shape decomposition method, called convex shape decomposition. We formalize the convex decomposition problem as an integer linear programming probl...
111
Voted
LATA
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. An important portion of the current research in Description Logics is devoted to the expansion of the reasoning services and the developement of algorithms that can adequ...
119
Voted
FOSSACS
2009
Springer
15 years 9 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...
101
click to vote
IROS
2009
IEEE
15 years 9 months ago
2009
IEEE
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...
116
Voted
ISPW
2009
IEEE
15 years 9 months ago
2009
IEEE
: Software qualities are in many cases tacit and hard to measure. Thus, there is a potential risk that they get lower priority than deadlines, cost and functionality. This paper pr...