20197 search results - page 144 / 4040 » Comparing Computational Power |
202
click to vote
SPIN
1999
Springer
15 years 10 months ago
1999
Springer
A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...
179
click to vote
COMPLEX
2009
Springer
15 years 10 months ago
2009
Springer
Creating ensembles of random but "realistic" topologies for complex systems is crucial for many tasks such as benchmark generation and algorithm analysis. In general, exp...
150
click to vote
WSC
2007
15 years 8 months ago
2007
Computed Tomography (CT) is one of the fastest growing diagnostic imaging procedures. Rapid advances in imaging technologies in conjunction with their widening adoption are some o...
182
click to vote
SDM
2008
SIAM
15 years 7 months ago
2008
SIAM
Measuring similarity or distance between two entities is a key step for several data mining and knowledge discovery tasks. The notion of similarity for continuous data is relative...
203
click to vote
BMVC
1998
15 years 7 months ago
1998
To recognize people by their gait from a sequence of images, we have proposed a statistical approach which combined eigenspace transformation (EST) with canonical space transforma...