2032 search results - page 264 / 407 » Encodings of the Sequence Constraint |
188
click to vote
SDM
2010
SIAM
15 years 8 months ago
2010
SIAM
Gene prediction is one of the most challenging tasks in genome analysis, for which many tools have been developed and are still evolving. In this paper, we present a novel gene pr...
186
click to vote
AAAI
2004
15 years 8 months ago
2004
Plan recognition has traditionally been developed for logically encoded application domains with a focus on logical reasoning. In this paper, we present an integrated plan-recogni...
176
Voted
AIPS
2006
15 years 8 months ago
2006
In this paper, we propose a new approach, called lemma-reusing, for accelerating SAT based planning and scheduling. Generally, SAT based approaches generate a sequence of SAT prob...
150
click to vote
AIPS
2003
15 years 8 months ago
2003
In this paper we describe a compromise between generative planning and special-purpose software. Hierarchical functional models are used by an intelligent system to represent its ...
185
click to vote
PST
2004
15 years 8 months ago
2004
Syntax-based vulnerability testing is a static black-box testing method for protocol implementations. It involves testing the Implementation Under Test (IUT) with a large number o...