Sciweavers

9871 search results - page 261 / 1975
» On the Structure of Low Sets
Sort
View
TPHOL
2005
IEEE
16 years 6 days ago
A Design Structure for Higher Order Quotients
The quotient operation is a standard feature of set theory, where a set is partitioned into subsets by an equivalence relation. We reinterpret this idea for higher order logic, whe...
Peter V. Homeier
DGCI
2008
Springer
15 years 8 months ago
A New Fuzzy Connectivity Class Application to Structural Recognition in Images
Fuzzy sets theory constitutes a poweful tool, that can lead to more robustness in problems such as image segmentation and recognition. This robustness results to some extent from t...
Olivier Nempont, Jamal Atif, Enrico Angelini, Isab...
CISST
2003
171views Hardware» more  CISST 2003»
15 years 8 months ago
Image Registration and Conflation Based on Structural Characteristics
An approach to conflation/registration of images that does not depend on identifying common points is being developed. It uses the method of algebraic invariants to provide a comm...
Boris Kovalerchuk, William Sumner, James L. Schwin...
ACL
2003
15 years 8 months ago
Finding Non-local Dependencies: Beyond Pattern Matching
We describe an algorithm for recovering non-local dependencies in syntactic dependency structures. The patternmatching approach proposed by Johnson (2002) for a similar task for p...
Valentin Jijkoun
QEST
2010
IEEE
15 years 4 months ago
The Measurable Space of Stochastic Processes
Abstract--We introduce a stochastic extension of CCS endowed with structural operational semantics expressed in terms of measure theory. The set of processes is organised as a meas...
Luca Cardelli, Radu Mardare