744 search results - page 22 / 149 » Observations on the Decidability of Transitions |
ALGORITHMICA
2008
13 years 9 months ago
2008
In this paper we consider the p-ary transitive reduction (TRp) problem where p > 0 is an integer; for p = 2 this problem arises in inferring a sparsest possible (biological) sig...
ENTCS
2008
13 years 9 months ago
2008
Esterel is an imperative synchronous programming language for the specification of deterministic concurrent reactive systems. While providing the usual control-flow constructs--se...
ICPR
2006
IEEE
14 years 10 months ago
2006
IEEE
Reproduction of facial animation play a fundamental role in applications requiring human-computer interactions The objective of this paper is to introduce a geometric mechanism th...
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
— We have developed a new communication robot, Robopal, which is an indoor/outdoor robot for use in humanrobot interaction research in the context of daily life. Robopal’s inte...
PPSN
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. This paper introduces a generator that creates problem instances for the Euclidean symmetric travelling salesman problem. To fit real world problems, we look at maps con...