4306 search results - page 519 / 862 » Timed Testing with TorX |
137
click to vote
DDECS
2009
IEEE
15 years 11 months ago
2009
IEEE
—Automatic Test Pattern Generation (ATPG) based on Boolean satisfiability (SAT) has been shown to be a beneficial complement to traditional ATPG techniques. Boolean solvers wor...
159
click to vote
IV
2009
IEEE
15 years 11 months ago
2009
IEEE
We present an application for integrated visualization of gene expression data from time series experiments in gene regulation networks and metabolic networks. Such integration is...
105
click to vote
AIED
2009
Springer
15 years 11 months ago
2009
Springer
We describe an automated method to assess the expressiveness of children’s oral reading by measuring how well its prosodic contours correlate in pitch, intensity, pauses, and wor...
152
click to vote
IROS
2008
IEEE
15 years 11 months ago
2008
IEEE
— This paper addresses the problem of exploring an unknown environment with a team of mobile robots. The key issue in coordinated multi-robot exploration is how to assign target ...
123
click to vote
ARITH
2007
IEEE
15 years 10 months ago
2007
IEEE
The compensated Horner algorithm improves the accuracy of polynomial evaluation in IEEE-754 floating point arithmetic: the computed result is as accurate as if it was computed wi...