3333 search results - page 511 / 667 » Abstract Proof Search |
140
click to vote
STTT
2010
14 years 11 months ago
2010
Abstract. We report here on an experimental investigation of LTL satisfiability checking via a reduction to model checking. By using large LTL formulas, we offer challenging model-...
143
Voted
FGR
2011
IEEE
14 years 8 months ago
2011
IEEE
Abstract— This paper proposes a sparsity driven shape registration method for occluded facial feature localization. Most current shape registration methods search landmark locati...
164
click to vote
CEC
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract— In this paper, we describe a method for discriminating between thyroid cell lines. Five commercial thyroid cell lines were obtained, ranging from non-cancerous to cance...
186
Voted
ALIFE
2011
14 years 8 months ago
2011
This paper presents an abstract computation model of the evolution of camouflage in nature. The 2d model uses evolved textures for prey, a background texture representing the envi...
220
click to vote
SAT
2011
Springer
14 years 7 months ago
2011
Springer
Failed literal detection (FL) in SAT is a powerful approach for preprocessing. The basic idea is to assign a variable as assumption. If boolean constraint propagation (BCP) yields ...