Sciweavers

3491 search results - page 474 / 699
» Cascaded Markov Models
Sort
View
ICCAD
2010
IEEE
166views Hardware» more  ICCAD 2010»
15 years 5 months ago
Low-power clock trees for CPUs
Clock networks contribute a significant fraction of dynamic power and can be a limiting factor in high-performance CPUs and SoCs. The need for multi-objective optimization over a l...
Dongjin Lee, Myung-Chul Kim, Igor L. Markov
QEST
2010
IEEE
15 years 5 months ago
The Measurable Space of Stochastic Processes
Abstract--We introduce a stochastic extension of CCS endowed with structural operational semantics expressed in terms of measure theory. The set of processes is organised as a meas...
Luca Cardelli, Radu Mardare
ACL
2009
15 years 5 months ago
ProLiV - a Tool for Teaching by Viewing Computational Linguistics
ProLiV - Animated Process-modeler of Complex (Computational) Linguistic Methods and Theories - is a fully modular, flexible, XML-based stand-alone Java application, used for compu...
Monica Gavrila, Cristina Vertan
IBPRIA
2009
Springer
15 years 5 months ago
Real-Time Motion Detection for a Mobile Observer Using Multiple Kernel Tracking and Belief Propagation
We propose a novel statistical method for motion detection and background maintenance for a mobile observer. Our method is based on global motion estimation and statistical backgro...
Marc Vivet, Brais Martínez, Xavier Binefa
ICMCS
2009
IEEE
146views Multimedia» more  ICMCS 2009»
15 years 5 months ago
Boosting multi-modal camera selection with semantic features
In this work semantic features are used to improve the results of the camera selection. These semantic features are group action, person action and person speaking. For this purpo...
Benedikt Hörnler, Dejan Arsic, Björn Sch...