3779 search results - page 104 / 756 » Linear Consistency Testing |
109
click to vote
COMPSAC
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper presents an agent-based software environment for testing web-based applications. The infrastructure of the system consists of a lightweight agent platform that supports...
109
click to vote
CVPR
2010
IEEE
15 years 11 months ago
2010
IEEE
Given a multi-exposure sequence of a scene, our aim is to recover the absolute irradiance falling onto a linear camera sensor. The established approach is to perform a weighted av...
125
click to vote
FMCAD
2009
Springer
15 years 9 months ago
2009
Springer
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...
132
click to vote
STOC
1996
ACM
15 years 7 months ago
1996
ACM
A linear array network consists of k + 1 processors P0; P1; : : : ; Pk with links only between Pi and Pi+1 0 i k. It is required to compute some boolean function f x; y in this n...
113
click to vote
TASLP
2008
15 years 2 months ago
2008
Abstract--This paper presents a technique to transform high-effort voices into breathy voices using adaptive pre-emphasis linear prediction (APLP). The primary benefit of this tech...