3172 search results - page 511 / 635 » Combining Specification Techniques for Processes, Data and T... |
154
click to vote
ACL
2010
15 years 4 months ago
2010
Substantial research effort has been invested in recent decades into the computational study and automatic processing of multi-party conversation. While most aspects of conversati...
185
click to vote
SPIESR
2003
15 years 7 months ago
2003
In western art music, composers communicate their work to performers via a standard notation which specificies the musical pitches and relative timings of notes. This notation ma...
173
click to vote
VTS
2008
IEEE
16 years 22 days ago
2008
IEEE
Trace buffers are commonly used to capture data during in-system silicon debug. This paper exploits the fact that it is not necessary to capture error-free data in the trace buffe...
288
click to vote
ICDE
2002
IEEE
16 years 7 months ago
2002
IEEE
We propose a novel approach to shape-based image retrieval that builds upon a similarity criterion which is based on the average point set distance. Compared to traditional techni...
177
click to vote
DATE
2006
IEEE
16 years 13 days ago
2006
IEEE
The problem of diagnosis – or locating the source of an error or fault – occurs in several areas of Computer Aided Design, such as dynamic verification, property checking, eq...