2210 search results - page 127 / 442 » CLEF 2001 - Overview of Results |
182
click to vote
ASPDAC
2001
ACM
15 years 9 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
140
click to vote
ASPDAC
2001
ACM
15 years 9 months ago
2001
ACM
A virtual 3-D extractor of the single dielectric is presented in this paper. In the indirect boundary integral equations, the plane charge distribution on the surface of conductors...
152
click to vote
CCGRID
2001
IEEE
15 years 9 months ago
2001
IEEE
In this paper, we describe the results of an experiment to add support for multimethod communication to the NexusJava communications library using metalevel programming techniques...
139
click to vote
BMVC
2001
15 years 8 months ago
2001
This paper describes an estimation and representation method for object structure in 3D image data. A windowed Fourier transform is used to estimate the parameters of 3D local str...
147
click to vote
BMVC
2001
15 years 8 months ago
2001
This paper tackles the problem of robust change detection in image sequences from static cameras. Motion cues are detected using frame differencing with an adaptive background est...