1076 search results - page 161 / 216 » Operations on proofs and labels |
CDC
2009
IEEE
13 years 10 months ago
2009
IEEE
In this paper, we study the reachability problem for the class of (strictly) monotone Petri nets that we define based on algebraic conditions. More specifically, given a (strictly)...
ECCV
2010
Springer
13 years 10 months ago
2010
Springer
The saddle point framework provides a convenient way to formulate many convex variational problems that occur in computer vision. The framework unifies a broad range of data and re...
DAGM
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. For every segmentation task, prior knowledge about the object that shall be segmented has to be incorporated. This is typically performed either automatically by using la...
ECAI
2010
Springer
13 years 9 months ago
2010
Springer
Knowledge compilation [6, 5, 14, 8] consists in transforming a problem offline into a form which is tractable online. In this paper, we introduce new structures, based on the notio...
ENTCS
2010
13 years 9 months ago
2010
In this paper, we present a formal model, named PobSAM (Policy-based Self-Adaptive Model), for modeling self-adaptive systems. In this model, policies are used as a mechanism to d...