642 search results - page 62 / 129 » corr 2006 |
CORR
2006
Springer
15 years 17 days ago
2006
Springer
An observational study was conducted on a professional designer working on a design project in aerospace industry. The protocol data were analyzed in order to gain insight into the...
CORR
2006
Springer
15 years 17 days ago
2006
Springer
Abstract-- Fountain codes are designed so that all input symbols can be recovered from a slightly larger number of coded symbols, with high probability using an iterative decoder. ...
87
Voted
CORR
2006
Springer
15 years 17 days ago
2006
Springer
Abstract. We study the termination of rewriting modulo a set of equations in the Calculus of Algebraic Constructions, an extension of the Calculus of Constructions with functions a...
80
Voted
CORR
2006
Springer
15 years 17 days ago
2006
Springer
DepAnn is an interactive annotation tool for dependency treebanks, providing both graphical and text-based annotation interfaces. The tool is aimed for semi-automatic creation of t...
89
Voted
CORR
2006
Springer
15 years 17 days ago
2006
Springer
Bipolar synchronization systems (BP-systems) constitute a class of coloured Petri nets, well suited for modelling the control flow of discrete dynamical systems. Every BP-system ha...