7393 search results - page 63 / 1479 » Synthesis-for-testability using transformations |
CGI
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract. This paper presents a novel skeleton-based method for deforming meshes, based on an approximate skeleton. The major difference from previous skeleton-based methods is th...
FLAIRS
2006
14 years 11 months ago
2006
A natural language generation system must generate expressions that allow a reader to identify the entities to which they refer. This paper describes the creation of referring-exp...
JUCS
2007
14 years 9 months ago
2007
: This paper uses category theory to emphasize the relationships between Mealy, Moore and Rabin-Scott automata, and the behavioural automata are used as a unifying framework. Some ...
IDEAS
2005
IEEE
15 years 3 months ago
2005
IEEE
Traditional approaches to query processing aim at rewriting a given query into another more efficient one that uses less time and/or resources during the execution. There by, the...
ICRA
2009
IEEE
15 years 4 months ago
2009
IEEE
— We propose a new approach to appearance based loop detection from metric 3D maps, exploiting the NDT surface representation. Locations are described with feature histograms bas...