Sciweavers

76 search results - page 4 / 16
» Definition of Fuzzy Pareto-Optimality by Using Possibility T...
Sort
View
ICS
2010
Tsinghua U.
15 years 7 months ago
Game Theory with Costly Computation: Formulation and Application to Protocol Security
: We develop a general game-theoretic framework for reasoning about strategic agents performing possibly costly computation. In this framework, many traditional game-theoretic resu...
Joseph Y. Halpern, Rafael Pass
EOR
2007
101views more  EOR 2007»
14 years 10 months ago
Searching for multiobjective preventive maintenance schedules: Combining preferences with evolutionary algorithms
Heavy industry maintenance facilities at aircraft service centers or railroad yards must contend with scheduling preventive maintenance tasks to ensure critical equipment remains ...
Gang Quan, Garrison W. Greenwood, Donglin Liu, Xia...
BIRTHDAY
2008
Springer
15 years 2 days ago
Unfolding Graph Transformation Systems: Theory and Applications to Verification
The unfolding of a system represents in a single branching structure all its possible computations: it is the cornerstone both of semantical constructions and of efficient partial ...
Paolo Baldan, Andrea Corradini, Barbara König
FSS
2007
85views more  FSS 2007»
14 years 10 months ago
Using quasi-continuous histograms for fuzzy main motion estimation in video sequence
This paper presents a new fuzzy framework for main motion estimation in video sequences. The estimation is performed using a fuzzy representation of pixel gray levels. The motion ...
Frederic Comby, Olivier Strauss
POPL
2008
ACM
15 years 10 months ago
A theory of contracts for web services
Contracts are behavioural descriptions of Web services. We devise a theory of contracts that formalises the compatibility of a client to a service, and the safe replacement of a s...
Giuseppe Castagna, Nils Gesbert, Luca Padovani