441 search results - page 55 / 89 » Persistent Temporal Streams |
154
Voted
ICIP
2004
IEEE
16 years 6 months ago
2004
IEEE
This paper describes an approach for locating annotations generated in one video and properly placing them in a second, modified version of the same video. We focus on modificatio...
124
Voted
NOSSDAV
1992
Springer
15 years 9 months ago
1992
Springer
Tactus addresses problems of synchronizing and controlling various interactive continuous-time media. The Tactus system consists of two main parts. The first is a server that synch...
124
click to vote
CHARME
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. This paper describes a semantic connection between the symbolic trajectory evaluation model-checking algorithm and relational verification in higher-order logic. We prov...
149
click to vote
APCSAC
2005
IEEE
15 years 10 months ago
2005
IEEE
Conditional branch induced control hazards cause significant performance loss in modern out-of-order superscalar processors. Dynamic branch prediction techniques help alleviate th...
236
click to vote
VLDB
2009
ACM
16 years 5 months ago
2009
ACM
This paper answers the following question; given a multiplicity of evolving 1-way conversations, can a machine or an algorithm discern the conversational pairs in an online fashio...