9110 search results - page 1498 / 1822 » Formally-Based Design Evaluation |
171
click to vote
PVLDB
2008
15 years 6 months ago
2008
Keyword search is a user-friendly mechanism for retrieving XML data in web and scientific applications. An intuitively compelling but vaguely defined goal is to identify matches t...
189
click to vote
PVLDB
2008
15 years 6 months ago
2008
This paper introduces Clustera, an integrated computation and data management system. In contrast to traditional clustermanagement systems that target specific types of workloads,...
202
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
Business Process Management (BPM) technology has become an important instrument for improving process performance. When considering its use, however, enterprises typically have to...
220
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
Abstract. In this paper we discuss new adaptive proposal strategies for sequential Monte Carlo algorithms--also known as particle filters--relying on new criteria evaluating the qu...
208
Voted
TWC
2008
15 years 6 months ago
2008
Ultra-wideband (UWB) communication is envisaged to be deployed in indoor environments, where the noise distribution is decidedly non-Gaussian. A critical challenge for impulse radi...