2162 search results - page 260 / 433 » Automated Reasoning on Feature Models |
161
click to vote
ISIPTA
2005
IEEE
15 years 10 months ago
2005
IEEE
Pose estimation involves reconstructing the configuration of a moving body from images sequences. In this paper we present a general framework for pose estimation of unknown obje...
157
click to vote
CORR
2012
Springer
14 years 19 days ago
2012
Springer
We show that the log-likelihood of several probabilistic graphical models is Lipschitz continuous with respect to the p-norm of the parameters. We discuss several implications ...
142
click to vote
GECCO
2008
Springer
15 years 6 months ago
2008
Springer
This paper demonstrates the effectiveness of genetic algorithms in training stable behavior in a model of the spinoneuromuscular system (SNMS). In particular, we test the stabili...
241
click to vote
ICLP
2009
Springer
16 years 5 months ago
2009
Springer
If logic programs are interpreted over a three-valued logic, then often Kleene's strong three-valued logic with complete equivalence and Fitting's associated immediate co...
124
Voted
CADE
2006
Springer
16 years 5 months ago
2006
Springer
Abstract. In the context of combinations of theories with disjoint signatures, we classify the component theories according to the decidability of constraint satisability problems ...