2302 search results - page 202 / 461 » Basic Description Logics |
110
click to vote
CSE
2009
IEEE
15 years 11 months ago
2009
IEEE
Interobserver reliability and reproducibility are well known problems in experimental research within the social and behavioural sciences. We propose the use of formal techniques ...
152
click to vote
PPDP
1999
Springer
15 years 9 months ago
1999
Springer
Curry is a multi-paradigm declarative language covering functional, logic, and concurrent programming paradigms. Curry’s operational semantics is based on lazy reduction of expre...
129
click to vote
MICCAI
2008
Springer
16 years 5 months ago
2008
Springer
This paper presents an interactive system for the annotation of brain anatomical structures in Magnetic Resonance Images. The system is based on hybrid knowledge and techniques. Fi...
157
click to vote
GPC
2010
Springer
15 years 11 months ago
2010
Springer
Scalability of reasoning systems is one of the main criteria which will determine the success of Semantic Web systems in the future. The focus of recent work is either on (a) expre...
149
click to vote
MEMOCODE
2008
IEEE
15 years 11 months ago
2008
IEEE
We present a component-based description language for heterogeneous systems composed of several data flow processing components and a unique eventbased controller. Descriptions a...