Sciweavers

1563 search results - page 205 / 313
» An Information Theoretic Approach to Statistical Shape Model...
Sort
View
DSD
2005
IEEE
116views Hardware» more  DSD 2005»
16 years 1 days ago
Validation of Embedded Systems Using Formal Method Aided Simulation
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
Daniel Karlsson, Petru Eles, Zebo Peng
GIS
2000
ACM
15 years 6 months ago
A conceptual framework for incorporating cognitive principles into geographical database representation
The advancement of GIS data models to allow the eOEective utilization of very large heterogeneous geographic databases requires a new approach that incorporates models of human cog...
Jeremy L. Mennis, Donna Peuquet, Liujian Qian
BMCBI
2004
134views more  BMCBI 2004»
15 years 6 months ago
Bayesian model accounting for within-class biological variability in Serial Analysis of Gene Expression (SAGE)
Background: An important challenge for transcript counting methods such as Serial Analysis of Gene Expression (SAGE), "Digital Northern" or Massively Parallel Signature ...
Ricardo Z. N. Vêncio, Helena Brentani, Diogo...
ICIP
2009
IEEE
15 years 4 months ago
Adaptive correlation estimation for general Wyner-Ziv video coding
Wyner-Ziv video coding (WZVC) is a new paradigm for video compression with the prediction frames possibly only available at the decoder. It exploits the statistics between the sou...
Xiaopeng Fan, Oscar C. Au, Ngai-Man Cheung
MLMI
2007
Springer
16 years 17 days ago
Meeting State Recognition from Visual and Aural Labels
In this paper we present a meeting state recognizer based on a combination of multi-modal sensor data in a smart room. Our approach is based on the training of a statistical model ...
Jan Curín, Pascal Fleury, Jan Kleindienst, ...