6704 search results - page 981 / 1341 » Testing Scenario-Based Models |
128
click to vote
ICDAR
2009
IEEE
15 years 11 months ago
2009
IEEE
Reliable indexing of documents having seal instances can be achieved by recognizing seal information. This paper presents a novel approach for detecting and classifying such multi...
149
click to vote
NDSS
2009
IEEE
15 years 11 months ago
2009
IEEE
Coordinated attacks, where the tasks involved in an attack are distributed amongst multiple sources, can be used by an adversary to obfuscate his incursion. In this paper we prese...
128
click to vote
RECONFIG
2009
IEEE
15 years 11 months ago
2009
IEEE
BLASTn is a ubiquitous tool used for large scale DNA analysis. Detailed profiling tests reveal that the most computationally intensive sections of the BLASTn algorithm are the sc...
141
click to vote
ICRA
2009
IEEE
15 years 11 months ago
2009
IEEE
— Although there has been an increasing interest in dynamic bipedal locomotion for significant improvement of energy efficiency and dexterity of mobile robots in the real world...
143
click to vote
ICST
2009
IEEE
15 years 11 months ago
2009
IEEE
Java PathFinder (JPF) is a popular model checker for Java programs. JPF was used to generate object graphs as test inputs for object-oriented programs. Specifically, JPF was used...