7009 search results - page 207 / 1402 » Patterns in Complex Systems Modeling |
119
click to vote
TOOLS
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...
114
Voted
CVPR
2005
IEEE
16 years 4 months ago
2005
IEEE
Human hair is a very complex visual pattern whose representation is rarely studied in the vision literature despite its important role in human recognition. In this paper, we prop...
128
click to vote
COMCOM
1999
15 years 2 months ago
1999
Asynchronous transfer mode (ATM) switches based on shared buffering are known to have better performance and buffer utilization than input or output queued switches. Shared buffer...
141
Voted
CVPR
2003
IEEE
16 years 4 months ago
2003
IEEE
Traditional approaches for surface reconstruction from range data require that the input data be either range images or unorganized sets of points. Since a large number of range s...
103
click to vote
IPPS
2008
IEEE
15 years 9 months ago
2008
IEEE
A file data model for algorithmic skeletons is proposed, focusing on transparency and efficiency. Algorithmic skeletons correspond to a high-level programming model that takes a...