181 search results - page 32 / 37 » Automating the linking of content and concept |
117
Voted
KI
2002
Springer
15 years 14 hour ago
2002
Springer
The vision of a Semantic Web has recently drawn considerable attention, both from academia and industry. Description Logics are often named as one of the tools that can support th...
115
Voted
TPHOL
2009
IEEE
15 years 7 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
SIGCOMM
2003
ACM
15 years 5 months ago
2003
ACM
Launching a denial of service (DoS) attack is trivial, but detection and response is a painfully slow and often a manual process. Automatic classification of attacks as single- o...
124
click to vote
AISC
1998
Springer
15 years 4 months ago
1998
Springer
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, ...
107
click to vote
BMCBI
2007
15 years 14 days ago
2007
Background: Traditional HTML interfaces for input to and output from Bioinformatics analysis on the Web are highly variable in style, content and data formats. Combining multiple ...