549 search results - page 39 / 110 » Using Formal Concept Analysis in Mathematical Discovery |
101
click to vote
FLAIRS
2007
15 years 6 months ago
2007
In this paper we discuss a rigorous foundation of similarity reasoning based on the concept of utility. If utility is formulated in mathematical terms it can serve as a formal spe...
145
click to vote
ACSD
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, we present a mathematical model for the composition of software components, at a semantic modelling level. We describe a mathematical concept of a single software c...
142
click to vote
BPM
2007
Springer
15 years 5 months ago
2007
Springer
Recently, we introduced the concept of an operating guideline of a service as a structure that characterizes all its properly interacting partner services. The hitherto considered ...
150
click to vote
ICCS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract Bioinformatic data sources available on the web are multiple and heterogenous. The lack of documentation and the difficulty of interaction with these data banks require us...
131
click to vote
ATAL
2011
Springer
14 years 3 months ago
2011
Springer
In this paper, we merge speech act theory, emotion theory, and logic. We propose a modal logic that integrates the concepts of belief, goal, ideal and responsibility and that allo...