9110 search results - page 1371 / 1822 » Formally-Based Design Evaluation |
153
click to vote
KCAP
2003
ACM
16 years 4 days ago
2003
ACM
In this paper we describe a generic library of problemsolving methods (PSMs) for scheduling applications. Although, some attempts have been made in the past at developing librarie...
181
click to vote
MM
2003
ACM
16 years 4 days ago
2003
ACM
Although statistical characteristics of audio features are widely used for similarity measure in most of current audio analysis systems and have been proved to be effective, they ...
158
click to vote
SENSYS
2003
ACM
16 years 4 days ago
2003
ACM
Accurate and scalable simulation has historically been a key enabling factor for systems research. We present TOSSIM, a simulator for TinyOS wireless sensor networks. By exploitin...
225
click to vote
SENSYS
2003
ACM
16 years 4 days ago
2003
ACM
Data dissemination from sources to sinks is one of the main functions in sensor networks. In this paper, we propose SEAD, a Scalable Energy-efficient Asynchronous Dissemination pr...
196
click to vote
SI3D
2003
ACM
16 years 4 days ago
2003
ACM
We present algorithms that enable virtual objects to interact with and respond to virtual representations, avatars, of real objects. These techniques allow dynamic real objects, s...