Sciweavers

277 search results - page 8 / 56
» Describing Role Models in Terms of Formal Concept Analysis
Sort
View
BMCBI
2007
146views more  BMCBI 2007»
15 years 6 months ago
Spatial location and its relevance for terminological inferences in bio-ontologies
Background: An adequate and expressive ontological representation of biological organisms and their parts requires formal reasoning mechanisms for their relations of physical aggr...
Stefan Schulz, Kornél G. Markó, Udo ...
SAS
2004
Springer
15 years 11 months ago
Generalized Records and Spatial Conjunction in Role Logic
Role logic is a notation for describing properties of relational structures in shape analysis, databases and knowledge bases. A natural fragment of role logic corresponds to two-va...
Viktor Kuncak, Martin C. Rinard
CLASSIFICATION
2006
78views more  CLASSIFICATION 2006»
15 years 6 months ago
Astrocladistics: A Phylogenetic Analysis of Galaxy Evolution II. Formation and Diversification of Galaxies
:This series of papers is intended to evaluate astrocladistics in reconstructing phylogenies of galaxies. The objective of this second paper is to formalize the concept of galaxy f...
Didier Fraix-Burnet, Philippe Choler, Emmanuel J. ...
LOPSTR
1999
Springer
15 years 10 months ago
Roles of Program Extension
Abstract. A formal and effective approach to the extension of the computational behaviour of logic programs is presented. The approach builds upon the following concepts. The exte...
Ralf Lämmel, Günter Riedewald, Wolfgang ...
IHM
2004
ACM
15 years 11 months ago
Conception participative par "moments"
This paper describes an approach for the participatory design. After describing the trends in the domain, a formalization of the design process is expressed based on « phase »...
Jean Caelen, Francis Jambon