Sciweavers

1055 search results - page 47 / 211
» Enumerations in computable structure theory
Sort
View
ICSE
1994
IEEE-ACM
14 years 2 months ago
On the Inference of Configuration Structures from Source Code
We apply mathematical concept analysis to the problem of infering configuration structures from existing source code. Concept analysis has been developed by German mathematicians ...
Maren Krone, Gregor Snelting
DCG
2010
121views more  DCG 2010»
13 years 7 months ago
Compression Schemes, Stable Definable Families, and o-Minimal Structures
We show that any family of sets uniformly definable in an ominimal structure has an extended compression scheme of size equal to the number of parameters in the defining formula. ...
H. R. Johnson, M. C. Laskowski
ARTMED
2006
80views more  ARTMED 2006»
13 years 10 months ago
A formal theory for spatial representation and reasoning in biomedical ontologies
Objective: The objective of this paper is to demonstrate how a formal spatial theory can be used as an important tool for disambiguating the spatial information embodied in biomed...
Maureen Donnelly, Thomas Bittner, Cornelius Rosse
CSDA
2006
72views more  CSDA 2006»
13 years 10 months ago
Generalized theory of uncertainty (GTU) - principal concepts and ideas
Uncertainty is an attribute of information. The path-breaking work of Shannon has led to a universal acceptance of the thesis that information is statistical in nature. Concomitan...
Lotfi A. Zadeh
MIE
2008
128views Healthcare» more  MIE 2008»
13 years 11 months ago
Interface Terminologies: Bridging the Gap between Theory and Reality for Africa
In the United States and Europe, electronic health records (EHRs) allow information technology and decision-support to facilitate the activities of clinicians and are considered a...
Andrew S. Kanter, Amy Y. Wang, Fred E. Masarie Jr....