1361 search results - page 221 / 273 » Skeletonization of Digital Objects |
121
click to vote
PAMI
2010
14 years 10 months ago
2010
—This paper presents a robust and automatic approach to photometric stereo, where the two main components, namely surface normals and visible surfaces, are respectively optimized...
104
click to vote
FSTTCS
2010
Springer
14 years 10 months ago
2010
Springer
We consider the problem of model checking message-passing systems with real-time requirements. As behavioural specifications, we use message sequence charts (MSCs) annotated with ...
FSTTCS
2010
Springer
14 years 10 months ago
2010
Springer
a is an abstract framework for the uniform study of different kinds of dynamical systems. An endofunctor F determines both the type of systems (F-coalgebras) and a notion of behav...
107
click to vote
FSTTCS
2010
Springer
14 years 10 months ago
2010
Springer
Uniqueness of normal forms (UN= ) is an important property of term rewrite systems. UN= is decidable for ground (i.e., variable-free) systems and undecidable in general. Recently ...
FSTTCS
2010
Springer
14 years 10 months ago
2010
Springer
The parity acceptance condition for -regular languages is a special case of the Rabin and Streett acceptance conditions. While the parity acceptance condition is as expressive as ...