4413 search results - page 162 / 883 » New Directions for CACM |
167
click to vote
ICPR
2010
IEEE
16 years 13 days ago
2010
IEEE
A new technique for controlling the bitrate of H.264 encoded sequences is presented. Bitrate control is achieved by dropping frames directly in the compressed domain. The dropped f...
159
click to vote
MOBIQUITOUS
2008
IEEE
16 years 13 days ago
2008
IEEE
In this paper some research questions which potentially lie within the purview of the new discipline of Computational Transportation Science are presented. Some of these questions...
156
click to vote
AGILEDC
2007
IEEE
16 years 12 days ago
2007
IEEE
A complex Enterprise Relationship Planning (ERP) data migration was in trouble: low quality, poor performance, instability, and an overworked team threatened project success. Faci...
161
click to vote
CSFW
2007
IEEE
16 years 11 days ago
2007
IEEE
Although static systems for information flow security are well-studied, few works address run-time information flow monitoring. Run-time information flow control offers distinc...
159
click to vote
TPHOL
2007
IEEE
16 years 9 days ago
2007
IEEE
Placing our result in a web of related mechanised results, we give a direct proof that the de Bruijn λ-calculus (`a la Huet, Nipkow and Shankar) is isomorphic to an α-quotiented ...