2032 search results - page 219 / 407 » Encodings of the Sequence Constraint |
159
click to vote
ADT
2005
15 years 6 months ago
2005
For coded transmission over a memoryless channel, two kinds of mutual information are considered: the mutual information between a code symbol and its noisy observation and the ove...
180
click to vote
JAR
2000
15 years 6 months ago
2000
We present a formal specification and verification approach for industrial product data bases containing Boolean logic formulae to express constraints. Within this framework, globa...
144
click to vote
CP
2010
Springer
15 years 5 months ago
2010
Springer
In this paper we show that the power of using k-consistency techniques in a constraint problem is precisely captured by using a particular inference rule, which we call positive-hy...
219
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
Data trees and data words have been studied extensively in connection with XML reasoning. These are trees or words that, in addition to labels from a finite alphabet, carry labels ...
146
click to vote
EMNLP
2009
15 years 4 months ago
2009
Mitchell et al. (2008) demonstrated that corpus-extracted models of semantic knowledge can predict neural activation patterns recorded using fMRI. This could be a very powerful te...