Sciweavers

320 search results - page 6 / 64
» Minimality considerations for ordinal computers modeling con...
Sort
View
ICTAC
2004
Springer
14 years 4 months ago
Minimal Spanning Set for Coverage Testing of Interactive Systems
A model-based approach for minimization of test sets for interactive systems is introduced. Test cases are efficiently generated and selected to cover the behavioral model and the ...
Fevzi Belli, Christof J. Budnik
CVPR
2010
IEEE
14 years 4 months ago
Cascaded L1-norm Minimization Learning (CLML) Classifier for Human Detection
This paper proposes a new learning method, which integrates feature selection with classifier construction for human detection via solving three optimization models. Firstly, the ...
Ran Xu, Baochang Zhang, Qixiang Ye, jian bin Jiao
ICCV
2009
IEEE
15 years 3 months ago
Boundary Ownership by Lifting to 2.5D
This paper addresses the “boundary ownership” problem, also known as the figure/ground assignment problem. Estimating boundary ownerships is a key step in perceptual organiz...
Ido Leichter and Michael Lindenbaum
SAC
2008
ACM
13 years 10 months ago
Test generation and minimization with "basic" statecharts
Model-based testing as a black-box testing technique has grown in importance. The models used represent the relevant features of the system under consideration (SUC), and can also...
Fevzi Belli, Axel Hollmann
VLSID
2005
IEEE
100views VLSI» more  VLSID 2005»
14 years 11 months ago
A Fast Buffered Routing Tree Construction Algorithm under Accurate Delay Model
Buffer insertion method plays a great role in modern VLSI design. Many buffer insertion algorithms have been proposed in recent years. However, most of them used simplified delay ...
Yibo Wang, Yici Cai, Xianlong Hong