2917 search results - page 96 / 584 » Satisfying Interaction Constraints |
COGSCI
2006
2006
Phonotactics and Articulatory Coordination Interact in Phonology: Evidence from Nonnative Production
13 years 9 months ago
A core area of phonology is the study of phonotactics, or how sounds are linearly combined. Recent cross-linguistic analyses have shown that the phonology determines not only phon...
CAV
2011
Springer
13 years 15 days ago
2011
Springer
Abstract. We describe a tool that applies theorem proving technology to synthesize code fragments that use given library functions. To determine candidate code fragments, our appro...
INFOCOM
2008
IEEE
14 years 3 months ago
2008
IEEE
—In many wired and wireless networks, nodes process input traffic to satisfy a network constraint (e.g. capacity constraints) and to increase the utility of data in the output ...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
We analyze judgement aggregation problems in which a group of agents independently votes on a set of complex propositions that has some interdependency constraint between them (e....
ASPDAC
2006
ACM
14 years 2 months ago
2006
ACM
– Modern multi-processor system-on-chip (MPSoC) designs have high bandwidth constraints which must be satisfied by the underlying communication architecture. Bus matrix based com...