2586 search results - page 370 / 518 » Automatic Abstraction for Congruences |
139
click to vote
DFG
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper, the authors introduce an extension of UML for the purpose of hybrid systems modeling. The construction uses the profile mechanism of UML 2.0 which is the ...
138
click to vote
DSMML
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper summarizes some of the current research challenges arising from multi-channel sequence processing. Indeed, multiple real life applications involve simultaneous...
208
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
The Hierarchical Hidden Markov Model (HHMM) is a well formalized tool suitable to model complex patterns in long temporal or spatial sequences. Even if effective algorithms are ava...
177
click to vote
ECCV
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper we describe the application of a novel statistical videomodeling scheme to sequences of multiple sclerosis (MS) images taken over time. The analysis of the ...
189
click to vote
ECCV
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. There is a growing trend toward emotional intelligence in humancomputer interaction paradigms. In order to react appropriately to a human, the computer would need to have...