4209 search results - page 363 / 842 » Abstract Dialectical Frameworks |
173
click to vote
ISMM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present a programming framework for discrete mathematical morphology centered on the concept of genericity. We show that formal definitions of morphological algorithm...
181
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— We present an active vision system for segmentation of visual scenes based on integration of several cues. The system serves as a visual front end for generation of obj...
158
click to vote
JOLLI
2010
15 years 5 months ago
2010
Abstract The situation calculus is one of the most established formalisms for reasoning about action and change. In this paper we will review the basics of Reiter’s version of th...
154
click to vote
LOGCOM
2010
15 years 5 months ago
2010
Abstract. An approximate Herbrand theorem is established for firstorder infinite-valued Lukasiewicz Logic and used to obtain a proof-theoretic proof of Skolemization. These resul...
195
click to vote
SIAMSC
2010
15 years 5 months ago
2010
Abstract. This paper is concerned with optimal control problems of partial differential equations. In particular, parameterized convection-diffusion problems are considered, wher...