Sciweavers

2421 search results - page 173 / 485
» Integrity Assurance Technique Using Determinant Approach
Sort
View
CASES
2009
ACM
15 years 10 months ago
Tight WCRT analysis of synchronous C programs
Accurate estimation of the tick length of a synchronous program is essential for efficient and predictable implementations that are devoid of timing faults. The techniques to dete...
Partha S. Roop, Sidharta Andalam, Reinhard von Han...
ICIP
2010
IEEE
15 years 1 months ago
Barcode-based calibration of a 1-D blur restoration pipeline
: External Posting Date: October 21, 2010 [Fulltext] Approved for External Publication Internal Posting Date: October 21, 2010 [Fulltext] Barcode-Based Calibration of a 1-D Blur R...
Matthew Gaubatz, Steven J. Simske
146
Voted
EACL
2006
ACL Anthology
15 years 5 months ago
Edit Machines for Robust Multimodal Language Processing
Multimodal grammars provide an expressive formalism for multimodal integration and understanding. However, handcrafted multimodal grammars can be brittle with respect to unexpecte...
Srinivas Bangalore, Michael Johnston
145
Voted
CJ
2010
150views more  CJ 2010»
15 years 29 days ago
Program Analysis Probably Counts
Abstract. Semantics-based program analysis uses an abstract semantics of programs/systems to statically determine run-time properties. Classic examples from compiler technology inc...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
ECCV
1998
Springer
15 years 7 months ago
Contour Continuity in Region Based Image Segmentation
Region-based image segmentation techniques make use of similarity in intensity, color and texture to determine the partitioning of an image. The powerful cue of contour continuity ...
Thomas K. Leung, Jitendra Malik