Sciweavers

1918 search results - page 110 / 384
» Discovering Cortical Algorithms
Sort
View
ICSE
2009
IEEE-ACM
15 years 10 months ago
Effective static deadlock detection
We present an effective static deadlock detection algorithm for Java. Our algorithm uses a novel combination of static analyses each of which approximates a different necessary co...
Mayur Naik, Chang-Seo Park, Koushik Sen, David Gay
ICWE
2005
Springer
15 years 3 months ago
Identifying Websites with Flow Simulation
We present in this paper a method to discover the set of webpages contained in a logical website, based on the link structure of the Web graph. Such a method is useful in the conte...
Pierre Senellart
DEXA
2003
Springer
115views Database» more  DEXA 2003»
15 years 3 months ago
On Mining Group Patterns of Mobile Users
In this paper, we present a group pattern mining approach to derive the grouping information of mobile device users based on the spatio-temporal distances among them. Group pattern...
Yida Wang, Ee-Peng Lim, San-Yih Hwang
ESORICS
2006
Springer
15 years 1 months ago
Timing-Sensitive Information Flow Analysis for Synchronous Systems
Timing side channels are a serious threat to the security of cryptographic algorithms. This paper presents a novel method for the timing-sensitive analysis of information flow in s...
Boris Köpf, David A. Basin
COLING
1996
14 years 11 months ago
Automatic Detection of Omissions in Translations
ADOMIT is an algorithln for Automatic Detection of OMissions in Translations. The algorithm relies solely on geometric analysis of bitext maps and uses no linguistic information. ...
I. Dan Melamed