744 search results - page 22 / 149 » Observations on the Decidability of Transitions |
137
click to vote
ALGORITHMICA
2008
15 years 6 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...
134
click to vote
ENTCS
2008
15 years 6 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...
146
click to vote
ICPR
2006
IEEE
16 years 7 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...
156
click to vote
ICRA
2007
IEEE
16 years 11 days 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...
174
click to vote
PPSN
2004
Springer
15 years 11 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...