4074 search results - page 227 / 815 » Defining Computational Aesthetics |
117
Voted
ESOP
2006
Springer
15 years 4 months ago
2006
Springer
We define a core language combining computational and architectural primitives, and study how static typing may be used to ensure safety properties of component composition and dyn...
104
click to vote
COMPGEOM
2001
ACM
15 years 4 months ago
2001
ACM
We present algorithms for constructing a hierarchy of increasingly coarse Morse complexes that decompose a piecewise linear 2-manifold. While Morse complexes are defined only in t...
97
Voted
BMAS
2000
IEEE
15 years 4 months ago
2000
IEEE
This paper discusses aBlox - a specification notation that we defined for automated synthesis of mixed-signal systems. aBlox addresses two important aspects of mixed-signal system...
80
Voted
FSTTCS
2000
Springer
15 years 4 months ago
2000
Springer
This paper reports on results concerning the combination of non-standard semantics via interpreters. We define what a semantics combination means and identify under which condition...
96
Voted
AAAI
2008
15 years 3 months ago
2008
In this paper, we propose a new approach for iterated revision in possibilistic logic by applying a one-step revision operator. We first argue that the set of KM postulates for re...