Sciweavers

569 search results - page 45 / 114
» Using Constraints for Exploring Catalogs
Sort
View
NAACL
2010
13 years 5 months ago
Learning Translation Boundaries for Phrase-Based Decoding
Constrained decoding is of great importance not only for speed but also for translation quality. Previous efforts explore soft syntactic constraints which are based on constituent...
Deyi Xiong, Min Zhang, Haizhou Li
CAV
2009
Springer
184views Hardware» more  CAV 2009»
14 years 8 months ago
Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique
Abstract. We present a new technique called Monotonic Partial Order Reduction (MPOR) that effectively combines dynamic partial order reduction with symbolic state space exploration...
Vineet Kahlon, Chao Wang, Aarti Gupta
ASPDAC
2004
ACM
109views Hardware» more  ASPDAC 2004»
14 years 1 months ago
Resource-constrained low-power bus encoding with crosstalk delay elimination
— In deep-submicron (DSM) technology, minimizing power consumption of a bus is one of the most important design objectives in embedded system-on-chip (SoC) design. In this paper,...
Meeyoung Cha, Chun-Gi Lyuh, Taewhan Kim
AUTOMATICA
2002
104views more  AUTOMATICA 2002»
13 years 7 months ago
Who needs QP for linear MPC anyway?
Conventional MPC uses quadratic programming (QP) to minimise, on-line, a cost over n linearly constrained control moves. However, stability constraints often require the use of la...
Basil Kouvaritakis, Mark Cannon, J. Anthony Rossit...
AVSS
2003
IEEE
14 years 1 months ago
Adaptive Live Video Streaming by Priority Drop
In this paper we explore the use of Priority-progress streaming (PPS) for live video streaming applications with tight latency constraints. PPS is a technique for the delivery of ...
Jie Huang, Charles Krasic, Jonathan Walpole, Wu-ch...