6014 search results - page 519 / 1203 » Structural Testing with Use Cases |
224
click to vote
APN
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
181
click to vote
LREC
2010
15 years 8 months ago
2010
Information extraction deals with extracting entities (such as people,organizations or locations) and named relations between entities (such as "People born-in Country")...
197
click to vote
IJCV
2010
15 years 5 months ago
2010
Abstract Constructing correspondencesbetween points characterizing one shape with those characterizing another is crucial to understanding what the two shapes have in common. These...
385
click to vote
IBPRIA
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. Similarity computation is a difficult issue in music information retrieval, because it tries to emulate the special ability that humans show for pattern recognition in ge...
316
click to vote
ISCAS
2011
IEEE
2011
IEEE
Parallel Dynamic Voltage and Frequency Scaling for stream decoding using a multicore embedded system
14 years 10 months ago
—Parallel structures may be used to increase a system processing speed in case of large amount of data or highly complex calculations. Dynamic Voltage and Frequency Scaling (DVFS...