Sciweavers

1544 search results - page 276 / 309
» Automated Evaluation of Description Logic Reasoning Systems
Sort
View
ICCBR
2009
Springer
15 years 6 months ago
A Case-Based Perspective on Social Web Search
Web search is the main way for millions of users to access information every day, but we continue to struggle when it comes to finding the right information at the right time. In ...
Barry Smyth, Peter Briggs, Maurice Coyle, Michael ...
RAID
2009
Springer
15 years 6 months ago
Protecting a Moving Target: Addressing Web Application Concept Drift
Because of the ad hoc nature of web applications, intrusion detection systems that leverage machine learning techniques are particularly well-suited for protecting websites. The re...
Federico Maggi, William K. Robertson, Christopher ...
BMCBI
2007
146views more  BMCBI 2007»
14 years 12 months ago
Spatial location and its relevance for terminological inferences in bio-ontologies
Background: An adequate and expressive ontological representation of biological organisms and their parts requires formal reasoning mechanisms for their relations of physical aggr...
Stefan Schulz, Kornél G. Markó, Udo ...
LICS
2003
IEEE
15 years 5 months ago
Model checking for probability and time: from theory to practice
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
Marta Z. Kwiatkowska
IJIT
2004
15 years 1 months ago
Formal Verification of a Multicast Protocol In Mobile Networks
As computer network technology becomes increasingly complex, it becomes necessary to place greater requirements on the validity of developing standards and the resulting technology...
Mohammad Reza Matash Borujerdi, S. M. Mirzababaei