Sciweavers

7106 search results - page 286 / 1422
» Restricted Complexity, General Complexity
Sort
View
CSCLP
2006
Springer
15 years 8 months ago
A Constraint Model for State Transitions in Disjunctive Resources
Abstract. Traditional resources in scheduling are simple machines where a capacity is the main restriction. However, in practice there frequently appear resources with more complex...
Roman Barták, Ondrej Cepek
CAV
2008
Springer
115views Hardware» more  CAV 2008»
15 years 6 months ago
An Algebraic Approach for Proving Data Correctness in Arithmetic Data Paths
This paper proposes a new approach for proving arithmetic correctness of data paths in System-on-Chip modules. It complements existing techniques which are, for reasons of complexi...
Oliver Wienand, Markus Wedler, Dominik Stoffel, Wo...
ESANN
2008
15 years 6 months ago
Self-Organizing Maps for cyclic and unbounded graphs
Abstract. This paper introduces a new concept to the processing of graph structured information using self organising map framework. Previous approaches to this problem were limite...
Markus Hagenbuchner, Alessandro Sperduti, Ah Chung...
SE
2007
15 years 6 months ago
A domain-specific language for industrial automation
Abstract: Software development is a complex task and therefore requires professional programming skills. Restricting the focus to a specific problem domain allows the application o...
Stefan Preuer
NAACL
2003
15 years 6 months ago
Greedy Decoding for Statistical Machine Translation in Almost Linear Time
We present improvements to a greedy decoding algorithm for statistical machine translation that reduce its time complexity from at least cubic (  ¢¡¤£¦¥¨§ when applied na...
Ulrich Germann