842 search results - page 95 / 169 » About the authors |
118
click to vote
TPHOL
2008
IEEE
15 years 7 months ago
2008
IEEE
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
91
Voted
AVSS
2007
IEEE
15 years 7 months ago
2007
IEEE
With concerns about terrorism and global security on the rise, it has become vital to have in place efficient threat detection systems that can detect and recognize potentially da...
118
Voted
ICDM
2007
IEEE
15 years 7 months ago
2007
IEEE
Recently, the web has rapidly emerged as a great source of financial information ranging from news articles to personal opinions. Data mining and analysis of such financial info...
96
Voted
INFOCOM
2007
IEEE
15 years 7 months ago
2007
IEEE
— Many network applications are based on a group communications model where one party sends messages to a large number of authorized recipients and/or receives messages from mult...
95
Voted
ICDIM
2007
IEEE
15 years 6 months ago
2007
IEEE
: Cameras attached to mobile phones are becoming more and more common, and as we move towards 3G and Next Generation Networks, it has become more a standard feature of mobile phone...