1026 search results - page 53 / 206 » Semantic Components for Timetabling |
119
click to vote
TABLEAUX
1998
Springer
15 years 6 months ago
1998
Springer
The methodology of fibring is a successful framework for combining logical systems based on combining their semantics. In this paper, we extend the fibring approach to calculi for ...
122
click to vote
MIE
2008
15 years 3 months ago
2008
In this work we present the usage of semantic web knowledge representation formalism (OWL) in combination with general purpose reasoning for building a medical expert system. The a...
CORR
2008
Springer
15 years 2 months ago
2008
Springer
The Semantic Web is becoming more and more a reality, as the required technologies have reached an appropriate level of maturity. However, at this stage, it is important to provid...
136
click to vote
INFORMATICALT
2008
15 years 2 months ago
2008
In this paper, we present a method for describing the syntax and semantics of viewcharts. Viewcharts is a visual formalism for describing the dynamic behavior of system components....
110
click to vote
SAC
2008
ACM
15 years 1 months ago
2008
ACM
This paper proposes a design for the optimized dynamic (re)composition of services that supports various user requests and accounts for changes in user`s context. The composition ...