364 search results - page 23 / 73 » Discovering Hidden Evidence |
IEAAIE
2010
Springer
13 years 5 months ago
2010
Springer
In this paper, given a set of research papers with only title and author information, a mining strategy is proposed to discover and organize the communities of authors according to...
CAV
2005
Springer
14 years 1 months ago
2005
Springer
We present a complete method for synthesizing lexicographic linear ranking functions supported by inductive linear invariants for loops with linear guards and transitions. Proving ...
ITCC
2003
IEEE
14 years 23 days ago
2003
IEEE
Recently, the importance of creating authoring support for adaptive hypermedia system design offering multimodality and personalization is becoming evident [4][5][6][7][1]. In the...
ACMSE
2005
ACM
14 years 1 months ago
2005
ACM
Accurate identification of misuse is a key factor in determining appropriate ways to protect systems. Modern intrusion detection systems often use alerts from different sources su...
RECOMB
2006
Springer
14 years 7 months ago
2006
Springer
We have combined four different types of functional genomic data to create high coverage protein interaction networks for 11 microbes. Our integration algorithm naturally handles s...