Sciweavers

2421 search results - page 72 / 485
» Integrity Assurance Technique Using Determinant Approach
Sort
View
134
Voted
ICCD
2001
IEEE
119views Hardware» more  ICCD 2001»
16 years 11 days ago
A Functional Validation Technique: Biased-Random Simulation Guided by Observability-Based Coverage
We present a simulation-based semi-formal verification method for sequential circuits described at the registertransfer level. The method consists of an iterative loop where cove...
Serdar Tasiran, Farzan Fallah, David G. Chinnery, ...
114
Voted
CVPR
2001
IEEE
16 years 5 months ago
Temporal Integration of Multiple Silhouette-Based Body-Part Hypotheses
A method for temporally integrating appearance-based body-part labelling is presented. We begin by modifying the silhouette labelling method of Ghost[4]; that system first determi...
Vivek Kwatra, Aaron F. Bobick, Amos Y. Johnson
ECIR
2009
Springer
16 years 19 days ago
Integrating Proximity to Subjective Sentences for Blog Opinion Retrieval
Opinion finding is a challenging retrieval task, where it has been shown that it is especially difficult to improve over a strongly performing topic-relevance baseline. In this pa...
Rodrygo L. T. Santos, Ben He, Craig Macdonald, Iad...
117
Voted
SCIA
2005
Springer
186views Image Analysis» more  SCIA 2005»
15 years 9 months ago
Levelset and B-Spline Deformable Model Techniques for Image Segmentation: A Pragmatic Comparative Study
Deformable contours are now widely used in image segmentation, using different models, criteria and numeric schemes. Some theoretical comparisons between few deformable model met...
Diane Lingrand, Johan Montagnat
IUI
1997
ACM
15 years 7 months ago
Integrating Planning and Task-Based Design for Multimedia Presentation
We claim that automatic multimedia presentation can be modeled by integrating two complementary approaches to automatic design: hierarchical planning to achieve communicative goal...
Stephan M. Kerpedjiev, Giuseppe Carenini, Steven F...