Sciweavers

1496 search results - page 140 / 300
» Definability of Initial Segments
Sort
View
154
Voted
DEXA
2000
Springer
76views Database» more  DEXA 2000»
15 years 9 months ago
Semantic Verification of Rule-Based Systems with Arithmetic Constraints
The aim of this paper is to show a method that is able to detect a particular class of semantic inconsistencies in a rule-based system (RBS). A semantic inconsistency is defined by...
Jaime Ramírez, Angélica de Antonio
CAE
2007
15 years 7 months ago
Conceptualizing Birkhoff's Aesthetic Measure Using Shannon Entropy and Kolmogorov Complexity
In 1928, George D. Birkhoff introduced the Aesthetic Measure, defined as the ratio between order and complexity, and, in 1965, Max Bense analyzed Birkhoff's measure from an i...
Jaume Rigau, Miquel Feixas, Mateu Sbert
IJCV
2006
194views more  IJCV 2006»
15 years 5 months ago
Reconstructing Open Surfaces from Image Data
In this paper a method for fitting open surfaces to data obtained from images is presented using a level set representation of the surface. This is done by tracking a curve, repres...
Jan Erik Solem, Anders Heyden
IGIS
1994
118views GIS» more  IGIS 1994»
15 years 9 months ago
Surface Modelling with Guaranteed Consistency - An Object-Based Approach
There have been many interpolation methods developed over the years, each with their own problems. One of the biggest limitations in many applications is the non-correspondence of...
Christopher M. Gold, Thomas Roos
MICCAI
2005
Springer
16 years 5 months ago
MRI Tissue Classification with Neighborhood Statistics: A Nonparametric, Entropy-Minimizing Approach
We introduce a novel approach for magnetic resonance image (MRI) brain tissue classification by learning image neighborhood statistics from noisy input data using nonparametric den...
Tolga Tasdizen, Suyash P. Awate, Ross T. Whitaker,...