Sciweavers

2032 search results - page 142 / 407
» Encodings of the Sequence Constraint
Sort
View
FLAIRS
2004
15 years 7 months ago
Intermediate Consistencies by Delaying Expensive Propagators
What makes a good consistency ? Depending on the constraint, it may be a good pruning power or a low computational cost. By "weakening" arc-consistency, we propose to de...
Andrei Legtchenko, Arnaud Lallouet, AbdelAli Ed-Db...
ACL
1998
15 years 7 months ago
Managing Information at Linguistic Interfaces
A large spoken dialogue translation system imposes both engineering and linguistic constraints on the way in which linguistic information is communicated between modules. We descr...
Johan Bos, C. J. Rupp, Bianka Buschbeck-Wolf, Mich...
CP
2006
Springer
15 years 10 months ago
: A Bottom-Up Approach for Solving Quantified CSPs
Abstract. Thanks to its extended expressiveness, the quantified constraint satisfaction problem (QCSP) can be used to model problems that are difficult to express in the standard C...
Guillaume Verger, Christian Bessière
LPNMR
1995
Springer
15 years 10 months ago
Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language
In this paper we propose a logic programming language which supports hypothetical updates together with integrity constraints. The language allows sequences of updates by sets of a...
Dov M. Gabbay, Laura Giordano, Alberto Martelli, N...
BMCBI
2007
106views more  BMCBI 2007»
15 years 6 months ago
Mining prokaryotic genomes for unknown amino acids: a stop-codon-based approach
Background: Selenocysteine and pyrrolysine are the 21st and 22nd amino acids, which are genetically encoded by stop codons. Since a number of microbial genomes have been completel...
Masashi Fujita, Hisaaki Mihara, Susumu Goto, Nobuy...