4502 search results - page 612 / 901 » Regular Model Checking |
140
click to vote
BIRTHDAY
2003
Springer
15 years 12 months ago
2003
Springer
In this paper we present the concepts of drawn symbolic picture and symbolic picture. Such notions have been conceived as an extension of the concept of drawn pictures which was i...
195
click to vote
CSL
2003
Springer
15 years 12 months ago
2003
Springer
Many verification, planning, and control problems can be modeled as games played on state-transition graphs by one or two players whose conflicting goals are to form a path in th...
178
click to vote
GD
2003
Springer
15 years 12 months ago
2003
Springer
A drawing of a family of cuts of a graph is an augmented drawing of the graph such that every cut in the family is represented by a simple closed curve and vice versa. We show tha...
179
click to vote
DAGM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In this paper, we propose a variational framework for computing a superresolved image of a scene from an arbitrary input video. To this end, we employ a recently proposed...
211
click to vote
ICCV
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper presents a novel variational method for supervised texture segmentation. The textured feature space is generated by filtering the given textured images using isotropic ...