1648 search results - page 289 / 330 » A Modelling Framework for Functional Imagination |
APLAS
2004
ACM
14 years 2 months ago
2004
ACM
Abstract. In component-based programming, the programmer assembles applications from prefabricated components. The assembly process has two main steps: adapting a component by twea...
ASPDAC
2004
ACM
14 years 2 months ago
2004
ACM
— The growing use of digital signal processors (DSPs) in embedded systems necessitates the use of optimizing compilers supporting their special architecture features. Beside the ...
ECCV
2010
Springer
14 years 2 months ago
2010
Springer
Motion blurs confound many computer vision problems. The fluttered shutter (FS) camera [1] tackles the motion deblurring problem by emulating invertible broadband blur kernels. How...
ICCV
2003
IEEE
14 years 2 months ago
2003
IEEE
Automatically understanding events happening at a site is the ultimate goal of visual surveillance system. This paper investigates the challenges faced by automated surveillance s...
ASM
2003
ASM
14 years 1 months ago
2003
ASM
We present an approach towards a formal dynamic semantics for UML using ASM. We aim to remain as close as possible to the standard definition of UML and to cover the operational pa...