2634 search results - page 25 / 527 » Faster Than Uppaal |
ALENEX
2004
13 years 9 months ago
2004
In previous work we described a method for compactly representing graphs with small separators, which makes use of small separators, and presented preliminary experimental results...
PPSN
2010
Springer
13 years 6 months ago
2010
Springer
This paper reveals the surprising result that a single-parent non-elitist evolution strategy (ES) can be locally faster than the (1+1)-ES. The result is brought about by mirrored s...
CVPR
2007
IEEE
14 years 9 months ago
2007
IEEE
This paper describes a patch-based approach for rapid image correlation or template matching. By representing a template image with an ensemble of patches, the method is robust wi...
ICML
2004
IEEE
14 years 8 months ago
2004
IEEE
We introduce a framework, which we call Divide-by-2 (DB2), for extending support vector machines (SVM) to multi-class problems. DB2 offers an alternative to the standard one-again...
ICCD
2008
IEEE
14 years 4 months ago
2008
IEEE
— The need for efficient implementation of simple crossbar schedulers has increased in the recent years due to the advent of on-chip interconnection networks that require low la...