180 search results - page 22 / 36 » Typing Local Control and State Using Flow Analysis |
IVC
2002
13 years 9 months ago
2002
The classification of human body motion is an integral component for the automatic interpretation of video sequences. In a first part we present an effective approach that uses mi...
ICIP
2006
IEEE
14 years 11 months ago
2006
IEEE
In this paper we propose a new framework for modeling 2D shapes. A shape is first described by a sequence of local features (e.g., curvature) of the shape boundary. The resulting ...
PLDI
2006
ACM
14 years 3 months ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
HPCC
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Automated online search is a powerful technique for performance diagnosis. Such a search can change the types of experiments it performs while the program is running, mak...
ICONIP
2007
13 years 11 months ago
2007
The understanding of nonstationarity, from both a dynamical and a statistical point of view, has turned from a constraint on application of a specific type of analysis (e.g. spectr...