1789 search results - page 105 / 358 » Extending the Choquet integral |
135
click to vote
CAV
2007
Springer
16 years 26 days ago
2007
Springer
In 2005 we proposed the first efficient on-the-fly algorithm for solving games based on timed game automata with respect to reachability and safety properties. The first prototy...
169
click to vote
ICCS
2005
Springer
16 years 6 days ago
2005
Springer
In this paper we address two optimization problems arising in the design of genomic assays based on universal tag arrays. First, we address the universal array tag set design probl...
146
click to vote
ECBS
2000
IEEE
15 years 11 months ago
2000
IEEE
Detecting software architecture inconsistencies is a critical issue in software design. Software systems are described in terms of components, component behavior and interaction a...
175
click to vote
ER
1999
Springer
15 years 11 months ago
1999
Springer
Several federated database systems have been built in the past using the relational or the object model as federating model. This paper gives an overview of the XMLMedia system, a ...
183
click to vote
TACS
1994
Springer
15 years 10 months ago
1994
Springer
Abstract. We have designed a programming logic based on an integration of functional programming languages with classical set theory. The logic merges a classical view of equality ...