549 search results - page 37 / 110 » Using Formal Concept Analysis in Mathematical Discovery |
146
click to vote
ICAI
2007
15 years 5 months ago
2007
- NLM's Unified Medical Language System (UMLS) is a very large ontology of biomedical and health data. In order to be used effectively for knowledge processing, it needs to be...
126
click to vote
EUC
2005
Springer
15 years 9 months ago
2005
Springer
Advanced analysis of data for extracting useful knowledge is the next natural step in the world of ubiquitous computing. So far, most of the ubiquitous systems process knowledge in...
180
click to vote
ICDCSW
2011
IEEE
14 years 3 months ago
2011
IEEE
—Computer systems often reach a point at which the relative cost to increase some tunable parameter is no longer worth the corresponding performance benefit. These “knees” t...
121
click to vote
IJCSA
2006
15 years 3 months ago
2006
This paper presents a formal approach based on Time Petri net (TPN) for the coherence control of SMIL documents. TPN model has been widely used to specify real time systems. The q...
133
click to vote
DSS
2007
15 years 3 months ago
2007
: As supply chains become more dynamic it is important to be able to model them formally as business processes. In particular, there is a need for a sense and respond capability to...