Sciweavers

1817 search results - page 160 / 364
» Extensive Games as Process Models
Sort
View
ICCAD
2007
IEEE
125views Hardware» more  ICCAD 2007»
16 years 7 days ago
A methodology for timing model characterization for statistical static timing analysis
While the increasing need for addressing process variability in sub-90nm VLSI technologies has sparkled a large body of statistical timing and optimization research, the realizati...
Zhuo Feng, Peng Li
AMR
2003
Springer
179views Multimedia» more  AMR 2003»
15 years 8 months ago
Building User Models from Observations of Users Accessing Multimedia Learning Objects
Abstract. We report our work towards building user models of learner’s development based upon evidence of their interactions with an e-learning website composed of multimedia lea...
Judy Kay, Andrew Lum
ICASSP
2009
IEEE
15 years 10 months ago
DNA coding using finite-context models and arithmetic coding
The interest in DNA coding has been growing with the availability of extensive genomic databases. Although only two bits are sufficient to encode the four DNA bases, efficient l...
Armando J. Pinho, António J. R. Neves, Carl...
111
Voted
FOAL
2009
ACM
15 years 10 months ago
A machine-checked model of safe composition
Programs of a software product line can be synthesized by composing features which implement some unit of program functionality. In most product lines, only some combination of fe...
Benjamin Delaware, William R. Cook, Don S. Batory
ICASSP
2008
IEEE
15 years 9 months ago
Distributed compressed sensing: Sparsity models and reconstruction algorithms using annihilating filter
Consider a scenario where a distributed signal is sparse and is acquired by various sensors that see different versions. Thus, we have a set of sparse signals with both some commo...
Ali Hormati, Martin Vetterli