6941 search results - page 834 / 1389 » Testing as a Certification Approach |
197
click to vote
CVGIP
2010
15 years 7 months ago
2010
We present a novel parallel algorithm for fast continuous collision detection (CCD) between deformable models using multi-core processors. We use a hierarchical representation to ...
210
click to vote
ENGL
2008
15 years 7 months ago
2008
This is a theoretical and experimental study of microstrip reflectarray useable in wireless local area networks (WLAN). The effectiveness of reducing the unit cell size of microstr...
171
click to vote
ENTCS
2008
15 years 7 months ago
2008
The better known methods of semantic tableaux for deciding satisfiability in propositional linear temporal logic generate graphs in addition to classical trees. The test of satisf...
184
click to vote
IDA
2008
Springer
15 years 7 months ago
2008
Springer
Meta-heuristics such as simulated annealing, genetic algorithms and tabu search have been successfully applied to many difficult optimization problems for which no satisfactory pro...
197
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
One property of networks that has received comparatively little attention is hierarchy, i.e., the property of having vertices that cluster together in groups, which then join to f...