Sciweavers

4074 search results - page 378 / 815
» Defining Computational Aesthetics
Sort
View
CP
2006
Springer
15 years 8 months ago
Graph Properties Based Filtering
Abstract. This report presents a generic filtering scheme, based on the graph description of global constraints. This description is defined by a network of binary constraints and ...
Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey...
PKC
2010
Springer
118views Cryptology» more  PKC 2010»
15 years 8 months ago
Text Search Protocols with Simulation Based Security
This paper presents an efficient protocol for securely computing the fundamental problem of pattern matching. This problem is defined in the two-party setting, where party P1 hold...
Rosario Gennaro, Carmit Hazay, Jeffrey S. Sorensen
189
Voted
ICAISC
2010
Springer
15 years 8 months ago
CI in General Game Playing - To Date Achievements and Perspectives
Abstract. Multigame playing agents are programs capable of autonomously learning to play new, previously unknown games. In this paper, we concentrate on the General Game Playing Co...
Karol Waledzik, Jacek Mandziuk
DAGM
2008
Springer
15 years 8 months ago
Physically Consistent Variational Denoising of Image Fluid Flow Estimates
Abstract. High-speed image measurements of fluid flows define an important field of research in experimental fluid mechanics and the related industry. Numerous competing methods ha...
Andrey Vlasenko, Christoph Schnörr
ESOP
2008
Springer
15 years 8 months ago
Cover Algorithms and Their Combination
This paper defines the cover of a formula with respect to a set of variables V in theory T to be the strongest quantifier-free formula that is implied by V : in theory T. Cover e...
Sumit Gulwani, Madan Musuvathi