Sciweavers

4074 search results - page 234 / 815
» Defining Computational Aesthetics
Sort
View
JUCS
2006
97views more  JUCS 2006»
15 years 5 months ago
An Interval Constraint Branching Scheme for Lattice Domains
This paper presents a parameterized schema for interval constraint branching that (with suitable instantiations of the parameters) can solve interval constraint satisfaction probl...
Antonio J. Fernández, Patricia M. Hill
SYNTHESE
2008
82views more  SYNTHESE 2008»
15 years 5 months ago
Kripke's paradox and the Church-Turing thesis
Kripke (1982, Wittgenstein on rules and private language. Cambridge, MA: MIT Press) presents a rule-following paradox in terms of what we meant by our past use of "plus",...
Mark D. Sprevak
TIT
2008
82views more  TIT 2008»
15 years 5 months ago
ZRM Codes
Abstract. Quaternary Z RM (r,m) codes were defined to study the Z4-linearity of ReedMuller codes. In the literature two different definitions of such codes can be found, denoted Z ...
Joaquim Borges, Cristina Fernández-Có...
120
Voted
COLING
2002
15 years 5 months ago
Best Analysis Selection in Inflectional Languages
Ambiguity is the fundamental property of natural language. Perhaps, the most burdensome case of ambiguity manifests itself on the syntactic level of analysis. In order to face up ...
Ales Horák, Pavel Smrz
FGCS
2000
90views more  FGCS 2000»
15 years 5 months ago
An ANTS heuristic for the frequency assignment problem
The problem considered in this paper consists in defining an assignment of frequencies to radio links, to be established between base stations and mobile transmitters, which minim...
Vittorio Maniezzo, Antonella Carbonaro