15792 search results - page 189 / 3159 » Computational Abstraction Steps |
165
click to vote
ICMT
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. In Model-Driven Engineering models and metamodels are not preserved from the evolutionary pressure which inevitably affects almost any artefacts. Moreover, the coupling b...
162
click to vote
CIE
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. We consider an extensional version, called qmTT, of the intensional Minimal Type Theory mTT, introduced in a previous paper with G. Sambin, enriched with proof-irrelevanc...
155
click to vote
ECML
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. We consider a new discriminative learning approach to sequence labeling based on the statistical concept of the Z-score. Given a training set of pairs of hidden-observed ...
146
click to vote
EMMCVPR
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. Document decomposition is a basic but crucial step for many document related applications. This paper proposes a novel approach to decompose document images into zones. I...
145
click to vote
EUROPAR
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. We investigate the following very simple load-balancing algorithm on the N-cycle (N even) which we call Odd-Even Transposition Balancing (OETB). The edges of the cycle ar...