Sciweavers

4074 search results - page 137 / 815
» Defining Computational Aesthetics
Sort
View
IJBC
2006
130views more  IJBC 2006»
15 years 23 days ago
Automatic Generation of Self-Replicating Patterns in Graph Automata
Graph automata define symbol dynamics on graph structures, which has capability of generating structures in addition to state transition. The rules of the graph automata are unifo...
Kohji Tomita, Haruhisa Kurokawa, Satoshi Murata
TYPES
1998
Springer
15 years 5 months ago
Proof Normalization Modulo
We define a generic notion of cut that applies to many first-order theories. We prove a generic cut elimination theorem showing that the cut elimination property holds for all theo...
Gilles Dowek, Benjamin Werner
119
Voted
DCG
2010
171views more  DCG 2010»
15 years 26 days ago
Bregman Voronoi Diagrams
The Voronoi diagram of a point set is a fundamental geometric structure that partitions the space into elementary regions of influence defining a discrete proximity graph and dual...
Jean-Daniel Boissonnat, Frank Nielsen, Richard Noc...
110
Voted
ECCV
2002
Springer
16 years 2 months ago
A Rectilinearity Measurement for Polygons
In this paper we define a function R(P) which is defined for any polygon P and which maps a given polygon P into a number from the interval (0, 1]. The number R(P) can be used as a...
Jovisa D. Zunic, Paul L. Rosin
92
Voted
PODC
2009
ACM
16 years 1 months ago
On a selfish caching game
In this work we define and study a new model for the caching problem in a heterogeneous wireless network under a flash-crowd scenario. Using non-cooperative game theory, we cast t...
Pietro Michiardi, Carla-Fabiana Chiasserini, Claud...