1746 search results - page 335 / 350 » A Constructive Semantics for ALC |
106
Voted
BIRTHDAY
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. The aim of the MMiSS project is the construction of a multimedia Internet-based adaptive educational system. Its content will initially cover a whole curriculum in the ar...
115
click to vote
CAV
2005
Springer
15 years 6 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
111
Voted
DIS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In this paper we explore a topic which is at the intersection of two areas of Machine Learning: namely Support Vector Machines (SVMs) and Inductive Logic Programming (ILP...
105
Voted
ICMI
2005
Springer
15 years 6 months ago
2005
Springer
A problem faced by groups that are not co-located but need to collaborate on a common task is the reduced access to the rich multimodal communicative context that they would have ...
109
click to vote
RAID
2005
Springer
15 years 6 months ago
2005
Springer
Intrusion detection systems are fundamentally passive and fail–open. Because their primary task is classification, they do nothing to prevent an attack from succeeding. An intru...