2142 search results - page 265 / 429 » Representing Time in Multimedia Systems |
202
click to vote
POPL
2005
ACM
16 years 5 months ago
2005
ACM
Abstract. In a previous paper, we discussed how the concepts of uniqueness and effects are interdependent. In this paper, we show how "Adoption and Focus," a proposal for...
130
click to vote
SIGMOD
2003
ACM
16 years 4 months ago
2003
ACM
Traditional databases store sets of relatively static records with no pre-defined notion of time, unless timestamp attributes are explicitly added. While this model adequately rep...
148
click to vote
Publication
The most expressive way humans display emotions is through facial expressions. Humans detect and interpret faces and facial expressions in a scene with little or no effort. Still, ...
122
Voted
FM
2009
Springer
15 years 11 months ago
2009
Springer
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...
147
click to vote
IDA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract Deciding which computer architecture provides the best performance for a certain program is an important problem in hardware design and benchmarking. While previous approa...