3174 search results - page 278 / 635 » An Exploration of the Permanent-Determinant Method |
199
click to vote
MMM
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper presents an efficient learning scheme for automatic annotation of video shot size. Instead of existing methods that applied in sports videos using domain knowl...
198
Voted
AGTIVE
2007
Springer
16 years 28 days ago
2007
Springer
In collaborative ontology engineering, contexts are key to manage the complexity of different dependency types between ontological artefacts. Instead of being frustrated by out-of...
150
click to vote
ACCV
2007
Springer
16 years 28 days ago
2007
Springer
In this paper, we present a new solution to the problem of multi-camera tracking with non-overlapping fields of view. The identities of moving objects are maintained when they are...
163
click to vote
CAV
2007
Springer
16 years 27 days ago
2007
Springer
Bounded context switch reachability analysis is a useful and efficient approach for detecting bugs in multithreaded programs. In this paper, we address the application of this app...
195
click to vote
CAV
2007
Springer
16 years 27 days ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...