2032 search results - page 52 / 407 » Encodings of the Sequence Constraint |
140
click to vote
ICLP
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. Action description languages, such as A and B [6], are expressive instruments introduced for formalizing planning domains and problems. The paper starts by proposing a me...
151
click to vote
CP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In many situations, a set of hard constraints encodes the feasible configurations of some system or product over which users have preferences. We consider the problem of...
157
click to vote
ACL
1997
15 years 7 months ago
1997
We introduce a typed feature logic system providing both universal implicational principles as well as definite clauses over feature terms. We show that such an architecture suppo...
193
click to vote
IJSSE
2011
15 years 1 months ago
2011
The Extensible Markup Language is susceptible to security breaches because it does not incorporate methods to protect the information it encodes. Our work presented in this paper f...
158
click to vote
DCC
2010
IEEE
16 years 1 months ago
2010
IEEE
In this work we describe a sequence compression method based on combining a Bayesian nonparametric sequence model with entropy encoding. The model, a hierarchy of Pitman-Yor proce...