834 search results - page 85 / 167 » Computing Minimal Models, Stable Models, and Answer Sets |
109
click to vote
PODS
2008
ACM
15 years 12 months ago
2008
ACM
We revisit the classical chase procedure, studying its properties as well as its applicability to standard database problems. We settle (in the negative) the open problem of decid...
CGF
2010
14 years 12 months ago
2010
We present a closed-form solution for the symmetrization problem, solving for the optimal deformation that reconciles a set of local bilateral symmetries. Given as input a set of ...
JCB
1998
14 years 11 months ago
1998
Abstract. The method of invariants is an approach to the problem of reconstructing the phylogenetic tree of a collection of m taxa using nucleotide sequence data. Models for the re...
IH
2004
Springer
15 years 5 months ago
2004
Springer
In this paper, we consider how to hide information into finite state machine (FSM), one of the popular computation models. The key advantage of hiding information in FSM is that t...
108
click to vote
EMMCVPR
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. In this paper we propose a new variational framework for image segmentation that incorporates the information of expected shape and a few points on the boundary into geod...