5234 search results - page 803 / 1047 » Method Components - Rationale Revealed |
170
click to vote
APCSAC
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract. Increasingly threading has become an important architectural component of programming languages to support parallel programming. Previously we have proposed an elegant la...
181
click to vote
CHARME
1995
Springer
15 years 9 months ago
1995
Springer
In this paper we present a method formodeling asynchronous digital circuits by timed automata. The constructed timed automata serve as \mechanical" and veri able objects for a...
156
click to vote
ECCV
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. This paper proposes a novel approach to anomalous behaviour detection in video. The approach is comprised of three key components. First, distributions of spatiotemporal ...
179
click to vote
ECCV
2010
Springer
15 years 9 months ago
2010
Springer
Detection, tracking, segmentation and pose estimation of people in monocular images are widely studied. Two-dimensional models of the human body are extensively used, however, they...
162
click to vote
WSC
2007
15 years 8 months ago
2007
Visualization is a powerful method for verifying, validating, and communicating the results of a simulated model. Lack of visual understanding about a simulated model is one of th...