1445 search results - page 218 / 289 » Properties of state spaces and their applications |
154
click to vote
DASFAA
2010
IEEE
15 years 5 months ago
2010
IEEE
This paper studies a new query on uncertain data, called k-selection query. Given an uncertain dataset of N objects, where each object is associated with a preference score and a p...
121
click to vote
WOSP
2010
ACM
15 years 2 months ago
2010
ACM
Quantitative prediction of quality properties (i.e. extrafunctional properties such as performance, reliability, and cost) of software architectures during design supports a syste...
103
click to vote
PVLDB
2008
15 years 1 months ago
2008
Many approaches have been proposed to find correlations in binary data. Usually, these methods focus on pair-wise correlations. In biology applications, it is important to find co...
107
click to vote
CEC
2005
IEEE
15 years 7 months ago
2005
IEEE
Abstract- The large majority of existing clustering algorithms are centered around the notion of a feature, that is, individual data items are represented by their intrinsic proper...
119
click to vote
ISSTA
2004
ACM
15 years 7 months ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...