2142 search results - page 408 / 429 » Representing Time in Multimedia Systems |
112
Voted
PODC
1989
ACM
15 years 7 months ago
1989
ACM
: What should it mean for an agent to know or believe an assertion is true with probability :99? Di erent papers FH88, FZ88, HMT88] give di erent answers, choosing to use quite di ...
125
Voted
EENERGY
2010
15 years 7 months ago
2010
As energy-related costs have become a major economical factor for IT infrastructures and data-centers, companies and the research community are being challenged to find better an...
132
Voted
SC
1995
ACM
15 years 7 months ago
1995
ACM
Matrix-vector products (mat-vecs) form the core of iterative methods used for solving dense linear systems. Often, these systems arise in the solution of integral equations used i...
152
Voted
EDBT
2010
ACM
15 years 7 months ago
2010
ACM
A key advantage of scientific workflow systems over traditional scripting approaches is their ability to automatically record data and process dependencies introduced during workf...
134
Voted
USS
2008
15 years 6 months ago
2008
Optical scan electronic voting machines employ software components that are customized for each specific election. Such software components are critical from a security and integr...