Sciweavers

1789 search results - page 106 / 358
» Extending the Choquet integral
Sort
View
CAV
2010
Springer
223views Hardware» more  CAV 2010»
15 years 10 months ago
RATSY - A New Requirements Analysis Tool with Synthesis
Formal specifications play an increasingly important role in system design-flows. Yet, they are not always easy to deal with. In this paper we present RATSY, a successor of the R...
Roderick Bloem, Alessandro Cimatti, Karin Greimel,...
EMISA
2006
Springer
15 years 10 months ago
Implementing a Service-Oriented Architecture for Small and Medium Organisations
: This paper explains how we have designed a service-oriented architecture by combining and extending several open source environments. We show how the IT architecture of the Natio...
Pascal Bauler, Fernand Feltz, Nicolas Biri, Philip...
HEURISTICS
2006
197views more  HEURISTICS 2006»
15 years 6 months ago
Bucket elimination for multiobjective optimization problems
Multiobjective optimization deals with problems involving multiple measures of performance that should be optimized simultaneously. In this paper we extend bucket elimination (BE),...
Emma Rollon, Javier Larrosa
JODS
2006
131views Data Mining» more  JODS 2006»
15 years 6 months ago
Inheritance in Rule-Based Frame Systems: Semantics and Inference
Knowledge representation languages that combine rules with object-oriented features akin to frame systems have recently attracted a lot of research interest, and F-logic is widely ...
Guizhen Yang, Michael Kifer
TOG
2008
106views more  TOG 2008»
15 years 6 months ago
Green Coordinates
We introduce Green Coordinates for closed polyhedral cages. The coordinates are motivated by Green's third integral identity and respect both the vertices position and faces ...
Yaron Lipman, David Levin, Daniel Cohen-Or