Sciweavers

2200 search results - page 234 / 440
» The Generalized Pignistic Transformation
Sort
View
135
Voted
CSR
2009
Springer
16 years 21 days ago
Variations on Muchnik's Conditional Complexity Theorem
Muchnik’s theorem about simple conditional descriptions states that for all strings a and b there exists a short program p transforming a to b that has the least possible length ...
Daniil Musatov, Andrei E. Romashchenko, Alexander ...
DAGM
2009
Springer
16 years 21 days ago
Deformation-Aware Log-Linear Models
Abstract. In this paper, we present a novel deformation-aware discriminative model for handwritten digit recognition. Unlike previous approaches our model directly considers image ...
Tobias Gass, Thomas Deselaers, Hermann Ney
ECMDAFA
2009
Springer
138views Hardware» more  ECMDAFA 2009»
16 years 21 days ago
A Pattern Mining Approach Using QVT
Model Driven Software Development (MDSD) has matured over the last few years and is now becoming an established technology. Models are used in various contexts, where the possibili...
Jens Kübler, Thomas Goldschmidt
FSTTCS
2009
Springer
16 years 21 days ago
Automata and temporal logic over arbitrary linear time
Linear temporal logic was introduced in order to reason about reactive systems. It is often considered with respect to infinite words, to specify the behaviour of long-running sys...
Julien Cristau
146
Voted
ERLANG
2009
ACM
16 years 20 days ago
Cleaning up Erlang code is a dirty job but somebody's gotta do it
This paper describes opportunities for automatically modernizing Erlang applications, cleaning them up, eliminating certain bad smells from their code and occasionally also improv...
Thanassis Avgerinos, Konstantinos F. Sagonas