639 search results - page 14 / 128 » Dominance Constraints with Set Operators |
292
Voted
POPL
2009
ACM
16 years 5 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...
133
click to vote
CORR
2011
Springer
15 years 5 days 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-...
181
click to vote
AIPRF
2008
15 years 6 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...
149
click to vote
INFORMATICALT
2007
15 years 5 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...
136
click to vote
CPAIOR
2006
Springer
15 years 9 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...