823 search results - page 83 / 165 » Stateful Subset Cover |
148
click to vote
CIA
2007
Springer
16 years 8 days ago
2007
Springer
Past years have witnessed a growing interest in automated negotiation as a coordination mechanism for interacting agents. This paper presents a generic, problem- and domain-indepen...
126
click to vote
DAGM
2007
Springer
16 years 7 days ago
2007
Springer
We propose an unsupervised “local learning” algorithm for learning a metric in the input space. Geometrically, for a given query point, the algorithm finds the minimum volume ...
158
click to vote
ISMVL
2005
IEEE
15 years 11 months ago
2005
IEEE
It is believed that quantum computing will begin to have a practical impact in industry around year 2010. We propose an approach to test generation and fault localization for a wi...
136
click to vote
VSTTE
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Many well-established concepts of object-oriented programming work for individual objects, but do not support object structures. The development of a verifying compiler r...
137
click to vote
FATES
2004
Springer
15 years 11 months ago
2004
Springer
We present a technique for specifying coverage criteria and a method for generating test suites for systems whose behaviours can be described as extended finite state machines (EF...