1552 search results - page 102 / 311 » From Automatic Structures to Borel Structures |
CIVR
2009
Springer
15 years 3 months ago
2009
Springer
Continuity errors occur in many movies and television series, in spite of careful checking by those employed to minimise them. In this work we develop a scheme for automatically d...
IJFCS
2006
14 years 12 months ago
2006
In recent years, workflow technology has greatly facilitated business process modeling and reengineering in information systems. On one hand, the separation of an application'...
ECCV
1996
Springer
16 years 1 months ago
1996
Springer
Abstract. We describe a method for determining a ne and metric calibration of a camera with unchanging internal parameters undergoing planar motion. It is shown that a ne calibrati...
ICFP
2007
ACM
15 years 12 months ago
2007
ACM
This paper presents an automatic deforestation system, stream fusion, based on equational transformations, that fuses a wider range of functions than existing short-cut fusion sys...
ISCAS
2003
IEEE
15 years 5 months ago
2003
IEEE
Rapid evaluation and design space exploration at the algorithmic level are important issues in the design cycle. In this paper we propose an original area vs delay estimation meth...