3829 search results - page 100 / 766 » Improving Our Reviewing Processes |
101
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
Large vocabulary automatic speech recognition (ASR) technologies perform well in known and controlled contexts. In less controlled conditions, however, human review is often neces...
152
Voted
AGI
2011
14 years 7 months ago
2011
Abstract. Recurrent connectivity, balanced between excitation and inhibition, is a general principle of cortical connectivity. We propose that balanced recurrence can be achieved b...
132
Voted
DAC
1998
ACM
16 years 4 months ago
1998
ACM
We present a Petri net theoretic approach to the software synthesis problem that can synthesize ordinary C programs from processbased concurrent specifications without the need for...
110
Voted
TRUST
2009
Springer
15 years 10 months ago
2009
Springer
We discuss five attack strategies against BitLocker, which target the way BitLocker is using the TPM sealing mechanism. BitLocker is a disk encryption feature included in some ver...
117
Voted
FOCS
2005
IEEE
15 years 9 months ago
2005
IEEE
d Abstract] Mikhail Alekhnovich ∗ Subhash A. Khot † Guy Kindler ‡ Nisheeth K. Vishnoi § We show that, unless NP⊆DTIME(2poly log(n) ), the closest vector problem with pre-...