Sciweavers

893 search results - page 79 / 179
» Descent Theory for Schemes
Sort
View
ICIP
1994
IEEE
15 years 4 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
JUCS
2000
76views more  JUCS 2000»
14 years 11 months ago
Mixed Relations as Enriched Semiringal Categories
Abstract: A study of the classes of nite relations as enriched strict monoidal categories is presented in CaS91]. The relations there are interpreted as connections in owchart sche...
Radu Grosu, Dorel Lucanu, Gheorghe Stefanescu
WDAG
2010
Springer
230views Algorithms» more  WDAG 2010»
14 years 10 months ago
Implementing Fault-Tolerant Services Using State Machines: Beyond Replication
Abstract—This paper describes a method to implement faulttolerant services in distributed systems based on the idea of fused state machines. The theory of fused state machines us...
Vijay K. Garg
DALT
2010
Springer
14 years 6 months ago
Executing Specifications of Social Reasoning Agents
Social reasoning theories, whilst studied extensively in the area of multiagent systems, are hard to implement directly in agents. They often specify properties of beliefs or behav...
Iain Wallace, Michael Rovatsos
BMCBI
2010
95views more  BMCBI 2010»
15 years 14 hour ago
Spatio-structural granularity of biological material entities
Background: With the continuously increasing demands on knowledge- and data-management that databases have to meet, ontologies and the theories of granularity they use become more...
Lars Vogt