Sciweavers

2328 search results - page 245 / 466
» Component Frameworks - A Case Study
Sort
View
HUMO
2000
Springer
15 years 10 months ago
Activity Monitoring and Summarization for an Intelligent Meeting Room
Intelligent meeting rooms should support efficient and effective interactions among its occupants. In this paper, we present our efforts toward building intelligent environments u...
Ivana Mikic, Kohsia S. Huang, Mohan M. Trivedi
ICCAD
1995
IEEE
114views Hardware» more  ICCAD 1995»
15 years 10 months ago
Sequential synthesis using S1S
Abstract—We propose the use of the logic S1S as a mathematical framework for studying the synthesis of sequential designs. We will show that this leads to simple and mathematical...
Adnan Aziz, Felice Balarin, Robert K. Brayton, Alb...
LISP
2008
104views more  LISP 2008»
15 years 6 months ago
Flattening tuples in an SSA intermediate representation
For functional programs, unboxing aggregate data structures such as tuples removes memory indirections and frees dead components of the decoupled structures. To explore the consequ...
Lukasz Ziarek, Stephen Weeks, Suresh Jagannathan
TMI
2008
138views more  TMI 2008»
15 years 6 months ago
Dynamic Positron Emission Tomography Data-Driven Analysis Using Sparse Bayesian Learning
A method is presented for the analysis of dynamic positron emission tomography (PET) data using sparse Bayesian learning. Parameters are estimated in a compartmental framework usin...
Jyh-Ying Peng, John A. D. Aston, R. N. Gunn, Cheng...
ICASSP
2011
IEEE
14 years 10 months ago
Supervised nonlinear spectral unmixing using a polynomial post nonlinear model for hyperspectral imagery
This paper studies a hierarchical Bayesian model for nonlinear hyperspectral image unmixing. The proposed model assumes that the pixel reflectances are polynomial functions of li...
Yoann Altmann, Abderrahim Halimi, Nicolas Dobigeon...