7393 search results - page 553 / 1479 » Synthesis-for-testability using transformations |
190
click to vote
ICRA
2006
IEEE
16 years 1 months ago
2006
IEEE
— This paper presents a multi-scale point and line based representation of two-dimensional range scan data. The techniques are based on a multi-scale Hough transform and a tree r...
184
click to vote
IMSCCS
2006
IEEE
16 years 1 months ago
2006
IEEE
The equivalence of non-deterministic finite automata (NFA1 ), deterministic finite automata (DFA), regular expressions (RE), and parallel finite automata (PFA) with augmented r...
127
click to vote
ISCAS
2006
IEEE
16 years 1 months ago
2006
IEEE
— This paper focuses on the suboptimal regulation of multivariable discrete-time bilinear systems consisting of interconnected bilinear subsystems with respect to a linear quadra...
208
click to vote
DOCENG
2006
ACM
16 years 1 months ago
2006
ACM
Mash-ups extract data fragments from disparate sources, and combine and transform the extracted fragments for display. Currently, mash-up developers tend to employ ad hoc represen...
181
Voted
HICSS
2005
IEEE
16 years 27 days ago
2005
IEEE
This paper shows how XML can be used for static and dynamic analysis of architectures. Our analysis is based on the distinction between symbolic and semantic models of architectur...