1034 search results - page 65 / 207 » Small Pi01 Classes |
93
Voted
ICML
2009
IEEE
16 years 1 months ago
2009
IEEE
Information theoretic based measures form a fundamental class of similarity measures for comparing clusterings, beside the class of pair-counting based and set-matching based meas...
111
Voted
VLSID
2002
IEEE
16 years 28 days ago
2002
IEEE
In this paper, a new logic synthesis method for an AND-XOR-OR type sense-amplifying PLA is proposed. An AND-XOR-OR type sense-amplifying PLA can achieve lowpower dissipation and h...
83
Voted
CADE
2008
Springer
16 years 26 days ago
2008
Springer
Security protocols are small programs designed to ensure properties such as secrecy of messages or authentication of parties in a hostile environment. In this paper we investigate ...
CVPR
2010
IEEE
15 years 9 months ago
2010
IEEE
We investigate dynamical models of human motion that can
support both synthesis and analysis tasks. Unlike coarser
discriminative models that work well when action classes are ...
103
Voted
ICDE
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract— Checking if an SQL query has been written correctly is not an easy task. Formal verification is not applicable, since it is based on comparing a specification with an...