Sciweavers

2348 search results - page 435 / 470
» A Fuzzy Description Logic
Sort
View
ISIPTA
1999
IEEE
15 years 2 months ago
Implicative Analysis for Multivariate Binary Data using an Imprecise Dirichlet Model
Bayesian implicative analysis was proposed for summarizing the association in a 22 contingency table in terms possibly asymmetrical such as, e.g., presence of feature a implies, i...
Jean-Marc Bernard
SSDBM
1999
IEEE
135views Database» more  SSDBM 1999»
15 years 2 months ago
Query Processing in the TAMBIS Bioinformatics Source Integration System
Conducting bioinformatic analyses involves biologists in expressing requests over a range of highly heterogeneous information sources and software tools. Such activities are labor...
Norman W. Paton, Robert Stevens, Patricia G. Baker...
FM
1999
Springer
107views Formal Methods» more  FM 1999»
15 years 2 months ago
A Formalization of Software Architecture
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
John Herbert, Bruno Dutertre, Robert A. Riemenschn...
GIS
1999
ACM
15 years 2 months ago
Spatio-Temporal Conceptual Models: Data Structures + Space + Time
Nowadays, many applications need data modeling facilities for the description of complex objects with spatial and/or temporal facilities. Responses to such requirements may be fou...
Christine Parent, Stefano Spaccapietra, Esteban Zi...
SIGSOFT
1998
ACM
15 years 2 months ago
Reasoning about Implicit Invocation
Implicit invocation SN92, GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of speci cation and veri cat...
David Garlan, Somesh Jha, David Notkin