999 search results - page 117 / 200 » Constraints in Non-Boolean Contexts |
198
click to vote
ICDE
2009
IEEE
16 years 1 months ago
2009
IEEE
— In this paper, we will study the problem of projected clustering of uncertain data streams. The use of uncertainty is especially important in the high dimensional scenario, bec...
195
click to vote
VMCAI
2009
Springer
16 years 29 days ago
2009
Springer
This paper presents a case study in modelling and verifying the Linux Virtual File System (VFS). Our work is set in the context of Hoare’s verification grand challenge and, in p...
162
click to vote
ICASSP
2009
IEEE
16 years 28 days ago
2009
IEEE
The problem of transmit beamforming for single-group multicasting is considered, where the objective is to transmit common information to a (large) number of users. The transmitte...
161
click to vote
ASPDAC
2009
ACM
16 years 21 days ago
2009
ACM
Abstract— In the context of a design space exploration framework for supporting the platform-based design approach, we address the problem of robustness with respect to manufactu...
178
click to vote
CISIS
2008
IEEE
16 years 19 days ago
2008
IEEE
One of the most challenging problems in Grid environments concerns the matchmaking between resource requests and offers. As it happens in the physical economy, Grid economy must b...