2373 search results - page 135 / 475 » On the Theory of Structural Subtyping |
141
click to vote
AML
2008
15 years 6 months ago
2008
We characterize elementary equivalences and inclusions between von Neumann regular real closed rings in terms of their boolean algebras of idempotents, and prove that their theorie...
189
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
This paper presents experiments on common knowledge logic, conducted with the help of the proof assistant Coq. The main feature of common knowledge logic is the eponymous modality...
161
click to vote
AIS
1998
Springer
15 years 6 months ago
1998
Springer
The switch from the Command-and-Control to Learning Organisation paradigm in the area of organisational theory is well understood. It is less well appreciated that learning organi...
183
click to vote
CVPR
2006
IEEE
16 years 8 months ago
2006
IEEE
We develop theory and algorithms to incorporate image manifold constraints in a level set segmentation algorithm. This provides a framework to simultaneously segment every image o...
204
click to vote
ECCV
2000
Springer
16 years 8 months ago
2000
Springer
Abstract. For grey-value images, it is well accepted that the neighborhood rather than the pixel carries the geometrical interpretation. Interestingly the spatial configuration of ...