7393 search results - page 356 / 1479 » Synthesis-for-testability using transformations |
129
click to vote
IWPC
1998
IEEE
15 years 9 months ago
1998
IEEE
This paper presents an overview of the DIME environment (DIrect Manipulation Environment) being developed by the author. The paper presents the DIME vision, its catalogue of evolu...
161
click to vote
CC
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Some codes require computations to use fewer bits of precision than are normal for the target machine. For example, Java requires 32-bit arithmetic even on a 64-bit targe...
152
click to vote
ASC
2006
15 years 6 months ago
2006
In a liberalized electricity market, the use of phase shifting transformers or other power flow controlling devices allows the transmission system operator to utilize the availabl...
153
click to vote
TREC
2001
15 years 6 months ago
2001
In this paper we present the prototype based text matching methodology used in the Routing Sub-Task of TREC 2001 Filtering Track. The methodology examines texts on word and senten...
137
Voted
AUTOMATICA
2010
15 years 5 months ago
2010
: Estimation of 3D position information from 2D images in computer vision systems can be formulated as a state estimation problem for a nonlinear perspective dynamic system. The mu...