639 search results - page 14 / 128 » Dominance Constraints with Set Operators |
197
click to vote
POPL
2009
ACM
15 years 10 months ago
2009
ACM
Memory models define an interface between programs written in some language and their implementation, determining which behaviour the memory (and thus a program) is allowed to hav...
CORR
2011
Springer
14 years 4 months ago
2011
Springer
We investigate (quantifier-free) spatial constraint languages with equality, contact and connectedness predicates, as well as Boolean operations on regions, interpreted over low-...
103
Voted
AIPRF
2008
14 years 11 months ago
2008
A fitness function is needed for a Genetic Algorithm (GA) to work, and it appears natural that the combination of objectives and constraints into a single scalar function using ar...
75
Voted
INFORMATICALT
2007
14 years 9 months ago
2007
This paper describes a framework for making up a set of syllables and phonemes that subsequently is used in the creation of acoustic models for continuous speech recognition of Lit...
CPAIOR
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We recently proposed a simple declarative language for specifying a wide range of counting and occurrence constraints. The language uses just two global primitives: the R...