1053 search results - page 93 / 211 » On k-Path Covers and their applications |
ICIP
2001
IEEE
14 years 11 months ago
2001
IEEE
A novel method for region of interest tracking and recording video is presented. The proposed method is based on the FlyCam system [4], which produces high resolution and wide-ang...
ICDE
2004
IEEE
14 years 11 months ago
2004
IEEE
Several spatio-temporal applications require the retrieval of summarized information about moving objects that lie in a query region during a query interval (e.g., the number of m...
ICPR
2008
IEEE
14 years 11 months ago
2008
IEEE
This paper deals with incremental classification and its particular application to invoice classification. An improved version of an already existant incremental neural network ca...
DAC
1999
ACM
14 years 11 months ago
1999
ACM
Abstract { This paper presents the machine description language LISA for the generation of bitand cycle accurate models of DSP processors. Based on a behavioral operation descripti...
CADE
2007
Springer
14 years 10 months ago
2007
Springer
Abstract. In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equ...