842 search results - page 95 / 169 » About the authors |
183
click to vote
TPHOL
2008
IEEE
16 years 19 days 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...
150
click to vote
AVSS
2007
IEEE
16 years 19 days 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...
179
click to vote
ICDM
2007
IEEE
16 years 18 days 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...
160
click to vote
INFOCOM
2007
IEEE
16 years 17 days 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...
167
click to vote
ICDIM
2007
IEEE
16 years 15 days 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...