Sciweavers

5634 search results - page 884 / 1127
» About Abstract Classes
Sort
View
ICANN
2009
Springer
15 years 11 months ago
Switching Hidden Markov Models for Learning of Motion Patterns in Videos
Abstract. Building on the current understanding of neural architecture of the visual cortex, we present a graphical model for learning and classification of motion patterns in vid...
Matthias Höffken, Daniel Oberhoff, Marina Kol...
MKM
2009
Springer
15 years 11 months ago
Integrating Web Services into Active Mathematical Documents
Abstract. Active mathematical documents are distinguished from traditional paper-oriented ones by their ability to interactively adapt to a reader’s inputs. This includes changes...
Jana Giceva, Christoph Lange 0002, Florian Rabe
NORDSEC
2009
Springer
15 years 11 months ago
Security Usability of Petname Systems
Abstract. To have certainty about identities is crucial for secure communication in digital environments. The number of digital identities that people and organizations need to man...
Md. Sadek Ferdous, Audun Jøsang, Kuldeep Si...
SBMF
2009
Springer
126views Formal Methods» more  SBMF 2009»
15 years 11 months ago
Undecidability Results for Distributed Probabilistic Systems
Abstract. In the verification of concurrent systems involving probabilities, the aim is to find out the maximum/minimum probability that a given event occurs (examples of such ev...
Sergio Giro
SG
2009
Springer
15 years 11 months ago
User-Centered Development of a Visual Exploration System for In-Car Communication
Abstract. Modern premium automobiles are equipped with an increasing number of Electronic Control Units (ECUs). These ECUs are interconnected and form a complex network to provide ...
Michael Sedlmair, Benjamin Kunze, Wolfgang Hinterm...