1829 search results - page 117 / 366 » Towards Validation of Requirements Models |
270
click to vote
SIGMOD
2006
ACM
16 years 6 months ago
2006
ACM
This paper presents a principled framework for efficient processing of ad-hoc top-k (ranking) aggregate queries, which provide the k groups with the highest aggregates as results....
180
click to vote
IANDC
2007
15 years 6 months ago
2007
The present study aims at insights into the nature of incremental learning in the context of Gold’s model of identification in the limit. With a focus on natural requirements s...
169
click to vote
FOCS
2006
IEEE
16 years 15 days ago
2006
IEEE
We consider the problems of Byzantine Agreement and Leader Election, where a constant fraction b < 1/3 of processors are controlled by a malicious adversary. The first problem...
191
click to vote
MIDDLEWARE
2004
Springer
15 years 11 months ago
2004
Springer
This paper surveys a variety of subsystems designed to be the building blocks from which sophisticated infrastructures for ubiquitous computing are assembled. Our experience shows...
179
click to vote
GECCO
2010
Springer
15 years 9 months ago
2010
Springer
Most surrogate approaches to multi-objective optimization build a surrogate model for each objective. These surrogates can be used inside a classical Evolutionary Multiobjective O...