Sciweavers

155 search results - page 9 / 31
» Discourse Generation Using Utility-Trained Coherence Models
Sort
View
84
Voted
DAC
2003
ACM
16 years 17 days ago
Using a formal specification and a model checker to monitor and direct simulation
We describe a technique for verifying that a hardware design correctly implements a protocol-level formal specification. Simulation steps are translated to protocol state transiti...
Serdar Tasiran, Yuan Yu, Brannon Batson
78
Voted
FLAIRS
2006
15 years 1 months ago
Referring-Expression Generation Using a Transformation-Based Learning Approach
A natural language generation system must generate expressions that allow a reader to identify the entities to which they refer. This paper describes the creation of referring-exp...
Jill Nickerson, Stuart M. Shieber, Barbara J. Gros...
ANSS
1995
IEEE
15 years 3 months ago
Algorithms for categorizing multiprocessor communication under invalidate and update-based coherence protocols
In this paper we present simulation algorithmsthat characterize the main sources of communication generated by parallel applications under both invalidate and updatebased cache co...
Ricardo Bianchini, Leonidas I. Kontothanassis
ISBI
2002
IEEE
16 years 9 days ago
Cardiac ultrasound motion detection by elastic registration exploiting temporal coherence
We propose a new global registration method for estimating the cardiac displacement field in 2D sequences of ultrasound images of the heart. The basic idea is to select a referenc...
Andrés Santos, Jan Kybic, Manuel Desco, Mar...
IDA
2009
Springer
15 years 6 months ago
Cumulative State Coherence Transform for a Robust Two-Channel Multiple Source Localization
This work presents a novel robust method for a two-channel multiple Time Difference of Arrival (TDOA) estimation. The method is based on a recursive frequency-domain Independent C...
Francesco Nesta, Piergiorgio Svaizer, Maurizio Omo...