Sciweavers

5570 search results - page 448 / 1114
» Applications of Fair Testing
Sort
View
MOC
1998
62views more  MOC 1998»
15 years 6 months ago
Numerical evaluation of a symmetric potential function
Abstract. We discuss the numerical evaluation of a symmetric potential function which arises naturally in applications. We present a method designed to accurately and efficiently c...
Lori A. Carmack
180
Voted

Lecture Notes
488views
17 years 5 months ago
Econometrics
These notes cover several topics such as Univariate Time Series Analysis, The Distribution of a Sample Average, Least Squares, Instrumental Variable Method, Simulating the Finite S...
Paul Söderlind
ICIP
2005
IEEE
16 years 8 months ago
A model free hybrid algorithm for real time tracking
Robustness and accuracy are major issues in real-time tracking. This paper describes a reliable tracking for markerless planar objects based on the fusion of visual cues and on th...
Éric Marchand, Muriel Pressigout
ICCAD
2002
IEEE
142views Hardware» more  ICCAD 2002»
16 years 3 months ago
SAT and ATPG: Boolean engines for formal hardware verification
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
Armin Biere, Wolfgang Kunz
INTETAIN
2009
Springer
16 years 1 months ago
The Hyper-trapeze: A Physically Active Audio-Visual Interface for Performance and Play
This paper reports the design, implementation, and application of a new interface for augmenting performance and play on the low flying trapeze. Sensors were used to gauge the moti...
Anne Hoekstra, Christoph Bartneck, Michael J. Lyon...