Sciweavers

3384 search results - page 432 / 677
» More Testable Properties
Sort
View
INFOVIS
2005
IEEE
16 years 6 days ago
Elastic Hierarchies: Combining Treemaps and Node-Link Diagrams
We investigate the use of elastic hierarchies for representing trees, where a single graphical depiction uses a hybrid mixture, or “interleaving”, of more basic forms at diffe...
Shengdong Zhao, Michael J. McGuffin, Mark H. Chign...
263
Voted
ISCAS
2005
IEEE
119views Hardware» more  ISCAS 2005»
16 years 6 days ago
Multi-plet two-channel perfect reconstruction filter banks
This paper proposes a new class of two-channel structural perfect reconstruction (PR) FIR filter banks (FBs) called the multi-plet FB. It generalizes structural PR FBs proposed by...
S. C. Chan, K. M. Tsui
QSHINE
2005
IEEE
16 years 6 days ago
Solving The Multi-Constrained Path Selection Problem By Using Depth First Search
An extended depth-first-search (EDFS) algorithm is proposed to solve the multi-constrained path (MCP) problem in quality-of-service (QoS) routing, which is NP-Complete when the n...
Zhenjiang Li, J. J. Garcia-Luna-Aceves
SEFM
2005
IEEE
16 years 6 days ago
Formal Analysis of Human-computer Interaction using Model-checking
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in Human Reliability Assessment ...
Antonio Cerone, Peter A. Lindsay, Simon Connelly
WACV
2005
IEEE
16 years 6 days ago
Measures of Similarity
Quantitative evaluation and comparison of image segmentation algorithms is now feasible owing to the recent availability of collections of hand-labeled images. However, little att...
Ranjith Unnikrishnan, Martial Hebert