7167 search results - page 128 / 1434 » A Technique for Invariant Generation |
137
click to vote
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
— In this paper we present a scheme for reducing the amount of synchronization overhead needed between components, after HW/SW partitioning, to preserve the original control flo...
182
click to vote
WSC
2004
15 years 7 months ago
2004
Farm is a distributed simulation environment for modeling the performance of large-scale multi-agent systems. It uses a component-based architecture to distribute the computationa...
189
click to vote
INTERACT
1997
15 years 7 months ago
1997
It is time to go beyond the established approaches in human-computer interaction. With the Augmented Reality (AR) design strategy humans are able to behave as much as possible in a...
143
click to vote
IPM
2008
15 years 6 months ago
2008
We present two approaches to email thread summarization: Collective Message Summarization (CMS) applies a multi-document summarization approach, while Individual Message Summariza...
171
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
In this paper we propose a methodology for assessing the accuracy of techniques of wave field rendering through loudspeaker arrays. In order to measure the rendered wave field w...