Sciweavers

1318 search results - page 98 / 264
» Aggregation-based model reduction of a Hidden Markov Model
Sort
View
ATVA
2006
Springer
123views Hardware» more  ATVA 2006»
15 years 7 months ago
Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives
Generic representatives have been proposed for the effective combination of symmetry reduction and symbolic representation with BDDs in non-probabilistic model checking. This appro...
Alastair F. Donaldson, Alice Miller
ASAP
2007
IEEE
122views Hardware» more  ASAP 2007»
15 years 10 months ago
Parallelizing HMMER for Hardware Acceleration on FPGAs
Profile based Hidden Markov Model is a widely used tool in bioinformatics. While being very valuable to biologists, it is extremely compute intensive and suffers from prohibitive...
Steven Derrien, Patrice Quinton
ACII
2007
Springer
15 years 10 months ago
SuperDreamCity: An Immersive Virtual Reality Experience That Responds to Electrodermal Activity
In this paper we describe an artistic exhibition that took place in our highly-immersive virtual-reality laboratory. We have allowed visitors to explore a virtual landscape based o...
Doron Friedman, Kana Suji, Mel Slater
ISMIR
2005
Springer
170views Music» more  ISMIR 2005»
15 years 9 months ago
Applications of Binary Classification and Adaptive Boosting to the Query-By-Humming Problem
In the “query-by-humming” problem, we attempt to retrieve a specific song from a target set based on a sung query. Recent evaluations of query-by-humming systems show that th...
Charles L. Parker
PERCOM
2003
ACM
15 years 9 months ago
Recognition of Human Activity through Hierarchical Stochastic Learning
Seeking to extend the functional capability of the elderly, we explore the use of probabilistic methods to learn and recognise human activity in order to provide monitoring suppor...
Sebastian Lühr, Hung Hai Bui, Svetha Venkates...