1414 search results - page 77 / 283 » Combining Intruder Theories |
SIGIR
2011
ACM
13 years 24 days ago
2011
ACM
Searching is inherently an interactive process usually requiring numerous iterations of querying and assessing in order to find the desired amount of relevant information. Essent...
ADVIS
2004
Springer
14 years 3 months ago
2004
Springer
An important issue in text mining is how to make use of multiple pieces knowledge discovered to improve future decisions. In this paper, we propose a new approach to combining mult...
CSL
2001
Springer
14 years 2 months ago
2001
Springer
We show how a well-known superposition-based inference system for first-order equational logic can be used almost directly as a decision procedure for various theories including l...
SE
2007
13 years 11 months ago
2007
: The application of scientifically derived theories on software testing strongly depends on their ability to provide a value for practice. We provide a comprehensive review on the...
ECIS
2000
13 years 11 months ago
2000
Small group learning combined with innovative teaching methods were introduced at tertiary level to teach computer-related subjects. Teams wereconstituted according to Belbin'...