Sciweavers

5244 search results - page 782 / 1049
» Structural Complexity of AvgBPP
Sort
View
ACIVS
2007
Springer
16 years 26 days ago
Adaptive Image Restoration Based on Local Robust Blur Estimation
This paper presents a novel non-iterative method to restore the out-of-focus part of an image. The proposed method first applies a robust local blur estimation to obtain a blur ma...
Hao Hu, Gerard de Haan
AOSE
2007
Springer
16 years 26 days ago
Tool-Supported Development with Tropos: The Conference Management System Case Study
Abstract. The agent-oriented software engineering methodology Tropos offers a structured development process and supporting tools for developing complex, distributed systems. The ...
Mirko Morandini, Duy Cu Nguyen, Anna Perini, Alber...
ATAL
2007
Springer
16 years 26 days ago
Matrix-based representation for coordination fault detection: a formal approach
Teamwork requires that team members coordinate their actions. The representation of the coordination is a key requirement since it influences the complexity and flexibility of r...
Meir Kalech, Michael Lindner, Gal A. Kaminka
153
Voted
CPAIOR
2007
Springer
16 years 26 days ago
Modeling the Regular Constraint with Integer Programming
Many optimisation problems contain substructures involving constraints on sequences of decision variables. Such constraints can be very complex to express with mixed integer progra...
Marie-Claude Côté, Bernard Gendron, L...
CSL
2007
Springer
16 years 26 days ago
Clique-Width and Parity Games
The question of the exact complexity of solving parity games is one of the major open problems in system verification, as it is equivalent to the problem of model-checking the mod...
Jan Obdrzálek