2080 search results - page 103 / 416 » Collections, Cardinalities, and Relations |
187
click to vote
ICMCS
2006
IEEE
16 years 12 days ago
2006
IEEE
We present VideoPot, a desktop video search system designed for digital video files stored on personal computers. The core metric of this system is based on video-indexing techno...
183
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
Abstract. We describe how the PVS verification system has been used to verify a safety property of a garbage collection algorithm, originally suggested by Ben-Ari. The safety prope...
162
click to vote
CGO
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper, we present a technique for reducing the overhead of collecting path profiles in the context of a dynamic optimizer. The key idea to our approach, called Targeted Pa...
137
click to vote
POS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Defining persistence in terms of reachability is fundamental to achieving orthogonality of persistence. It is implicit to the principles of orthogonal persistence and is ...
143
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents a novel non-flat synchronization model where the synchronization capacity of each agent is different regarding its social rank and strategy dominance. In the p...