450 search results - page 47 / 90 » Satisfiability with Exponential Families |
125
click to vote
FORMATS
2009
Springer
15 years 11 months ago
2009
Springer
Recently, the model of weighted timed automata has gained interest within the real-time community. In a previous work, we built a bridge to the theory of weighted automata and intr...
123
click to vote
SUM
2009
Springer
15 years 11 months ago
2009
Springer
Different methods have been proposed for merging multiple and potentially conflicting informations. Sum-based operators offer a natural method for merging commensurable prioriti...
131
click to vote
ICDAR
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents a new use of the Curvelet transform as a multiscale method for indexing linear singularities and curved handwritten shapes in documents images. As it belongs t...
116
click to vote
ICRA
2006
IEEE
15 years 10 months ago
2006
IEEE
— In this paper we generate gaits for dynamics systems that are subject to non-holonomic velocity constraints. These systems are referred to as mixed non-holonomic systems. The m...
136
click to vote
ISCAS
2006
IEEE
15 years 10 months ago
2006
IEEE
— Symmetric-key block ciphers are often used to provide data confidentiality with low complexity, especially in the case of dedicated hardware implementations. IDEA NXT is a nov...