898 search results - page 22 / 180 » Transitions of the Pre-Symmetry Set |
KR
2004
Springer
15 years 3 months ago
2004
Springer
In this paper, partial knowledge about the possible transitions which can take place in a dynamical environment is represented by a set of pairs of propositional formulae, with th...
ICPR
2010
IEEE
15 years 3 months ago
2010
IEEE
We present Transitive Closure based visual word formation technique for obtaining robust object representations from smoothly varying multiple views. Each one of our visual words ...
IROS
2006
IEEE
15 years 3 months ago
2006
IEEE
— This paper discusses the whole arm manipulation allowing the contact state transition. For manipulation of an object under fully constrained, the contact state transition becom...
CAV
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Modern termination provers rely on a safety checker to construct disjunctively well-founded transition invariants. This safety check is known to be the bottleneck of the ...
FMCAD
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. Since the advent of model checking it is becoming more common for languages to be given a semantics in terms of transition systems. Such semantics allow to model check pr...