Sciweavers

1224 search results - page 216 / 245
» Framework extraction with domain analysis
Sort
View
DAC
2003
ACM
14 years 8 months ago
Coverage directed test generation for functional verification using bayesian networks
Functional verification is widely acknowledged as the bottleneck in the hardware design cycle. This paper addresses one of the main challenges of simulation based verification (or...
Shai Fine, Avi Ziv
CHI
2004
ACM
14 years 8 months ago
A study of digital ink in lecture presentation
Digital inking systems are becoming increasingly popular across a variety of domains. In particular, many systems now allow instructors to write on digital surfaces in the classro...
Richard J. Anderson, Crystal Hoyer, Steven A. Wolf...
ICWS
2009
IEEE
14 years 4 months ago
Towards Probabilistic Estimation of Quality of Online Services
Accurate estimation of quality of online services is both an important and difficult problem, since a service has many interdependent quality attributes influenced by several co...
Le-Hung Vu, Karl Aberer
ICCAD
2006
IEEE
180views Hardware» more  ICCAD 2006»
14 years 4 months ago
A bitmask-based code compression technique for embedded systems
Embedded systems are constrained by the available memory. Code compression techniques address this issue by reducing the code size of application programs. Dictionary-based code c...
Seok-Won Seong, Prabhat Mishra
CVPR
2009
IEEE
14 years 2 months ago
Learning multi-modal densities on Discriminative Temporal Interaction Manifold for group activity recognition
While video-based activity analysis and recognition has received much attention, existing body of work mostly deals with single object/person case. Coordinated multi-object activi...
Ruonan Li, Rama Chellappa, Shaohua Kevin Zhou