Sciweavers

2438 search results - page 324 / 488
» Consistent Gradient Operators
Sort
View
CPAIOR
2007
Springer
15 years 4 months ago
YIELDS: A Yet Improved Limited Discrepancy Search for CSPs
Abstract. In this paper, we introduce a Yet ImprovEd Limited Discrepancy Search (YIELDS), a complete algorithm for solving Constraint Satisfaction Problems. As indicated in its nam...
Wafa Karoui, Marie-José Huguet, Pierre Lope...
CPAIOR
2007
Springer
15 years 4 months ago
Connections in Networks: Hardness of Feasibility Versus Optimality
We study the complexity of combinatorial problems that consist of competing infeasibility and optimization components. In particular, we investigate the complexity of the connectio...
Jon Conrad, Carla P. Gomes, Willem Jan van Hoeve, ...
FMCO
2007
Springer
169views Formal Methods» more  FMCO 2007»
15 years 4 months ago
An Object-Oriented Component Model for Heterogeneous Nets
Abstract. Many distributed applications can be understood in terms of components interacting in an open environment. This interaction is not always uniform as the network may consi...
Einar Broch Johnsen, Olaf Owe, Joakim Bjørk...
FSEN
2007
Springer
15 years 4 months ago
Regulating Data Exchange in Service Oriented Applications
We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining dat...
Alessandro Lapadula, Rosario Pugliese, Francesco T...
GCC
2007
Springer
15 years 4 months ago
Image Filtering on .NET-based Desktop Grids
Image filtering is the use of computer graphics algorithms to enhance the quality of digital images or to extract information about their content. However rendering very large siz...
Christian Vecchiola, Krishna Nadiminti, Rajkumar B...