6039 search results - page 91 / 1208 » The Function Space of an Activity |
POPL
2006
ACM
14 years 8 months ago
2006
ACM
Abstract. This paper investigates what is essentially a call-by-value version of PCF under a complexity-theoretically motivated type system. The programming formalism, ATR, has its...
ISMM
2009
Springer
14 years 2 months ago
2009
Springer
The aim of this paper is to propose efficient tools for analysing shape families using morphological operators. The developments include the definition of shape statistics (mean a...
DATE
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper describes a design space exploration experiment for a real application from the embedded networking domain - the physical layer of a wireless protocol. The application ...
BMVC
2000
13 years 9 months ago
2000
This paper investigates the use of the Space Carving algorithm with outdoor image sequences, using a lambertian lighting model. A new consistency function is proposed that uses a ...
ICCAD
2007
IEEE
14 years 4 months ago
2007
IEEE
— We introduce a remote activation scheme that aims to protect integrated circuits (IC) intellectual property (IP) against piracy. Remote activation enables designers to lock eac...