936 search results - page 131 / 188 » The Logical Difference Problem for Description Logic Termino... |
112
click to vote
CORR
2008
Springer
15 years 1 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
108
click to vote
IGPL
2010
15 years 1 days ago
2010
Researchers studying complex cognition have grown increasingly interested in mapping symbolic cognitive architectures onto subsymbolic brain models. Such a mapping seems essential...
122
click to vote
RSCTC
2000
Springer
15 years 5 months ago
2000
Springer
We discuss how Case Based Reasoning (CBR) (see e.g. [1], [4]) philosophy of adaptation of some known situations to new similar ones can be realized in rough set framework [5] for c...
205
Voted
POPL
2008
ACM
16 years 1 months ago
2008
ACM
Contracts are behavioural descriptions of Web services. We devise a theory of contracts that formalises the compatibility of a client to a service, and the safe replacement of a s...
122
click to vote
PPSWR
2005
Springer
15 years 7 months ago
2005
Springer
The Semantic Web is an endeavour aiming at enhancing Web data with meta-data and data processing, as well as processing methods specifying the “meaning” of such data and allowi...