2056 search results - page 236 / 412 » Detecting Errors in Spreadsheets |
147
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
Ideally, a model checking tool should successfully tackle state space explosion for complete system validation, while providing short counterexamples when an error exists. Techniqu...
190
click to vote
DAGM
2008
Springer
15 years 8 months ago
2008
Springer
Dense optical flow fields are required for many applications. They can be obtained by means of various global methods which employ regularization techniques for propagating estimat...
173
click to vote
FGR
2008
IEEE
15 years 8 months ago
2008
IEEE
We propose several tracking adaptation approaches to recover from early tracking errors in sign language recognition by optimizing the obtained tracking paths w.r.t. to the hypoth...
186
click to vote
FPL
2008
Springer
15 years 8 months ago
2008
Springer
The phase detector is a main building block in phaselocked loop (PLL) applications. FPGAs permit the realtime implementation of the CORDIC algorithm which offers an efficient solu...
181
click to vote
NSDI
2010
15 years 8 months ago
2010
Partial packet recovery protocols attempt to repair corrupted packets instead of retransmitting them in their entirety. Recent approaches have used physical layer confidence estim...