517 search results - page 71 / 104 » Specification transformers: a predicate transformer approach... |
MIR
2006
ACM
14 years 2 months ago
2006
ACM
We present a general approach for automatically matching electronic slides to videos of corresponding presentations for use in distance learning and video proceedings of conferenc...
CODES
2007
IEEE
14 years 13 days ago
2007
IEEE
Today's MPSoC synthesis and exploration design flows start abstract input specification model captured in a system level design language. Usually this model is created from a...
BMCBI
2010
13 years 8 months ago
2010
Background: Phenomenological information about regulatory interactions is frequently available and can be readily converted to Boolean models. Fully quantitative models, on the ot...
ICPR
2008
IEEE
14 years 9 months ago
2008
IEEE
Cancelable biometric systems are gaining in popularity for use in person authentication for applications where the privacy and security of biometric templates are important consid...
CVPR
2010
IEEE
14 years 4 months ago
2010
IEEE
We propose a new scheme to estimate image bias field through introducing two sparsity constraints. One is that the bias-free image has concise representation with image gradients o...