Sciweavers

6306 search results - page 907 / 1262
» Space, Time, and the Use of Language
Sort
View
CP
2009
Springer
16 years 7 months ago
Solving a Location-Allocation Problem with Logic-Based Benders' Decomposition
Abstract. We address a location-allocation problem that requires deciding the location of a set of facilities, the allocation of customers to those facilities under facility capaci...
Mohammad M. Fazel-Zarandi, J. Christopher Beck
CP
2009
Springer
16 years 7 months ago
Restricted Global Grammar Constraints
We investigate the global GRAMMAR constraint over restricted classes of context free grammars like deterministic and unambiguous context-free grammars. We show that detecting disen...
George Katsirelos, Sebastian Maneth, Nina Narodyts...
CP
2009
Springer
16 years 7 months ago
Modelling Equidistant Frequency Permutation Arrays: An Application of Constraints to Mathematics
Equidistant Frequency Permutation Arrays are combinatorial objects of interest in coding theory. A frequency permutation array is a type of constant composition code in which each ...
Sophie Huczynska, Paul McKay, Ian Miguel, Peter Ni...
CHI
2006
ACM
16 years 7 months ago
Minnesang: speak medieval German
We present a prototype of the Minnesang exhibit that translates visitors' utterances into medieval German in their own voice. This lets visitors experience how they would hav...
Daniel Spelmezan, Jan Borchers
PODS
2004
ACM
86views Database» more  PODS 2004»
16 years 7 months ago
Frontiers of Tractability for Typechecking Simple XML Transformations
Typechecking consists of statically verifying whether the output of an XML transformation is always conform to an output type for documents satisfying a given input type. We focus...
Wim Martens, Frank Neven