5550 search results - page 296 / 1110 » Different Approaches to Proof Systems |
161
click to vote
ACL
2008
15 years 8 months ago
2008
Written documents created through dictation differ significantly from a true verbatim transcript of the recorded speech. This poses an obstacle in automatic dictation systems as s...
130
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
We consider the problem of optimizing the performance of a latency-insensitive system (LIS) where the addition of backpressure has caused throughput degradation. Previous works ha...
187
click to vote
ACHI
2009
IEEE
16 years 1 months ago
2009
IEEE
— As cameras and storage devices have become cheaper, the number of video surveillance systems has also increased. Video surveillance was (and mostly is) done by human operators ...
185
click to vote
EICS
2009
ACM
16 years 1 months ago
2009
ACM
Single-user, desktop-based computer applications are pervasive in our daily lives and work. The prospect of using these applications with innovative interaction systems, like mult...
185
click to vote
ISPDC
2008
IEEE
16 years 1 months ago
2008
IEEE
In this work we present the runtime architecture of the OMPi OpenMP compiler. OMPi is a source-to-source C translator featuring a portable, modular and extensible runtime system. ...