Sciweavers

4166 search results - page 224 / 834
» Automating the constraining process
Sort
View
ASPDAC
2005
ACM
123views Hardware» more  ASPDAC 2005»
15 years 5 months ago
Yield driven gate sizing for coupling-noise reduction under uncertainty
Abstract— This paper presents a post-route gate-sizing algorithm for coupling-noise reduction that constrains the yield loss under process variations. Algorithms for coupling-noi...
Debjit Sinha, Hai Zhou
109
Voted
EACL
2006
ACL Anthology
15 years 5 months ago
Lexicalising Word Order Constraints for Implemented Linearisation Grammar
This paper presents a way in which a lexicalised HPSG grammar can handle word order constraints in a computational parsing system, without invoking an additional layer of represen...
Yo Sato
AIPS
2003
15 years 5 months ago
Synthesis of Hierarchical Finite-State Controllers for POMDPs
We develop a hierarchical approach to planning for partially observable Markov decision processes (POMDPs) in which a policy is represented as a hierarchical finite-state control...
Eric A. Hansen, Rong Zhou
ICIP
2007
IEEE
15 years 4 months ago
HRD Conformance for Real-time H.264 Video Encoding
The H.264 hypothetical reference decoder (HRD) ensures interoperability and smooth playback of video. Because the encoded bit rate may not match the channel rate, buffering and ti...
Jennifer L. H. Webb
ICIP
2010
IEEE
15 years 1 months ago
A concave cost formulation for parametric curve fitting: Detection of leukocytes from intravital microscopy images
We formulate parametric curve fitting as a concave cost minimization problem. Our formulation is general encompassing any parametric curve where parameters can be free or constrai...
Nilanjan Ray