7393 search results - page 63 / 1479 » Synthesis-for-testability using transformations |
139
click to vote
CGI
2006
IEEE
16 years 6 days 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...
153
click to vote
FLAIRS
2006
15 years 7 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...
139
click to vote
JUCS
2007
15 years 6 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 ...
151
click to vote
IDEAS
2005
IEEE
15 years 11 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...
123
click to vote
ICRA
2009
IEEE
16 years 24 days 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...