2395 search results - page 190 / 479 » Reasoning in Semantic Wikis |
187
click to vote
APSEC
2005
IEEE
16 years 11 days ago
2005
IEEE
The lack of a precise semantics for UML activity diagrams makes the reasoning on models constructed using such diagrams infeasible. However, such diagrams are widely used in domai...
187
click to vote
FLOPS
2004
Springer
16 years 4 days ago
2004
Springer
We propose a semantic framework for modelling the linear usage of continuations in typed call-by-name programming languages. On the semantic side, we introduce a construction for c...
189
click to vote
ETELEMED
2009
IEEE
15 years 10 months ago
2009
IEEE
- As scientific achievements in the area of Healthcare have increased during the last decade, inevitably there has been an increase of treatment quality. One of the challenges to b...
178
click to vote
PRICAI
2000
Springer
15 years 10 months ago
2000
Springer
Defeasible logic is a simple but efficient rule-based non-monotonic logic. It has powerful implementations and shows promise to be applied in the areas of legal reasoning and the m...
192
click to vote
BIOCOMP
2008
15 years 8 months ago
2008
- Integrating information about protein sequence and structure allows further exploration and establishment of protein sequence-structure-function relations. However, protein data ...