3995 search results - page 42 / 799 » Linearization of hybrid processes |
127
click to vote
SCOPES
2004
Springer
15 years 8 months ago
2004
Springer
New embedded signal processing architectures are emerging that are composed of loosely coupled heterogeneous components like CPUs or DSPs, specialized IP cores, reconfigurable uni...
120
Voted
ATVA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present a new method for fighting the state space explosion of process algebraic specifications, by performing static analysis on an intermediate format: linear proc...
128
Voted
EMNLP
2010
15 years 1 months ago
2010
This paper introduces dual decomposition as a framework for deriving inference algorithms for NLP problems. The approach relies on standard dynamic-programming algorithms as oracl...
130
Voted
ESOP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We present PacLang: an imperative, concurrent, linearlytyped language designed for expressing packet processing applications. PacLang’s linear type system ensures that ...
126
Voted
NIPS
2003
15 years 4 months ago
2003
Approximate linear programming (ALP) has emerged recently as one of the most promising methods for solving complex factored MDPs with finite state spaces. In this work we show th...