Sciweavers

1805 search results - page 106 / 361
» A Theory of Closure Operators
Sort
View
BIRTHDAY
2010
Springer
15 years 5 months ago
Fixed-Point Definability and Polynomial Time on Chordal Graphs and Line Graphs
The question of whether there is a logic that captures polynomial time was formulated by Yuri Gurevich in 1988. It is still wide open and regarded as one of the main open problems...
Martin Grohe
ICIP
1994
IEEE
15 years 8 months ago
Spatially-Variant Mathematical Morphology
We develop a general theory of spatially-variant (SV) mathematical morphology for binary images in the Euclidean space. The basic SV morphological operators (that is, SV erosion, S...
Mohammed Charif-Chefchaouni, Dan Schonfeld
MODELS
2007
Springer
15 years 10 months ago
Scenario Integration via the Transformation and Manipulation of Higher-order Graphs
The integration of different models, such as scenarios, is an important component of the requirements engineer’s work. If manually performed, the integration operation is error-...
Hongzhi Liang
FOIS
2006
15 years 5 months ago
The Instrumental Stit A Study of Action and Instrument
The focus of this paper are actions in which agents employ instruments in order to achieve desired outcomes. I explore the ontological structure of such actions and the semantic fe...
Pawel Garbacz
MOC
2010
14 years 11 months ago
On the numerical evaluation of Fredholm determinants
Some significant quantities in mathematics and physics are most naturally expressed as the Fredholm determinant of an integral operator, most notably many of the distribution funct...
Folkmar Bornemann