Sciweavers

1081 search results - page 70 / 217
» CODES: An Integrated Approach to Composable Modeling and Sim...
Sort
View
NIPS
2001
15 years 1 months ago
Modeling Temporal Structure in Classical Conditioning
The Temporal Coding Hypothesis of Miller and colleagues [7] suggests that animals integrate related temporal patterns of stimuli into single memory representations. We formalize t...
Aaron C. Courville, David S. Touretzky
ICIP
1999
IEEE
16 years 1 months ago
Rate-Distortion-Efficient Video Compression Using a 3-D Head Model
In this paper we combine model-based video synthesis with block-based motion-compensated prediction (MCP). Two frames are utilized far prediction where one frame is the previous d...
Peter Eisert, Thomas Wiegand, Bernd Girod
ICIP
2005
IEEE
16 years 1 months ago
Combining MCTF with distributed source coding
Motion Compensated Temporal Filtering (MCTF) has proved to be an efficient coding tool in the design of open-loop scalable video codecs. In this paper we propose a MCTF video codi...
Marco Tagliasacchi, Stefano Tubaro, Augusto Sarti
EUROMICRO
1998
IEEE
15 years 4 months ago
Design Correctness of Digital Systems
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
Corrie Huijs
115
Voted
CODES
2009
IEEE
15 years 3 months ago
TotalProf: a fast and accurate retargetable source code profiler
Profilers play an important role in software/hardware design, optimization, and verification. Various approaches have been proposed to implement profilers. The most widespread app...
Lei Gao, Jia Huang, Jianjiang Ceng, Rainer Leupers...