Sciweavers

1235 search results - page 67 / 247
» Formalizing information security knowledge
Sort
View
CIKM
2007
Springer
14 years 2 months ago
Reasoning about vague topological information
Topological information plays a fundamental role in the human perception of spatial configurations and is thereby one of the most prominent geographical features in natural langu...
Steven Schockaert, Martine De Cock
JUCS
2008
134views more  JUCS 2008»
13 years 8 months ago
A Tool for Reasoning about Qualitative Temporal Information: the Theory of S-languages with a Lisp Implementation
: Reasoning about incomplete qualitative temporal information is an essential topic in many artificial intelligence and natural language processing applications. In the domain of n...
Irène Durand, Sylviane R. Schwer
SP
2008
IEEE
140views Security Privacy» more  SP 2008»
13 years 8 months ago
Knowledge support and automation for performance analysis with PerfExplorer 2.0
The integration of scalable performance analysis in parallel development tools is difficult. The potential size of data sets and the need to compare results from multiple experime...
Kevin A. Huck, Allen D. Malony, Sameer Shende, Ala...
BIRTHDAY
2005
Springer
14 years 1 months ago
Towards MultiMedia Instruction in Safe and Secure Systems
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...
Bernd Krieg-Brückner
CAI
1999
Springer
13 years 7 months ago
Context in Artificial Intelligence: I. A Survey of the Literature
: Context is the challenge for the coming years in Artificial Intelligence. In the companion paper [8], we present the main results of discussions at two workshops and at the first...
Patrick Brézillon