364 search results - page 23 / 73 » Discovering Hidden Evidence |
87
Voted
IEAAIE
2010
Springer
14 years 11 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...
125
Voted
CAV
2005
Springer
15 years 7 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 ...
71
Voted
ITCC
2003
IEEE
15 years 7 months 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...
118
click to vote
ACMSE
2005
ACM
15 years 7 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...
128
click to vote
RECOMB
2006
Springer
16 years 2 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...