Sciweavers

1081 search results - page 70 / 217
» CODES: An Integrated Approach to Composable Modeling and Sim...
Sort
View
NIPS
2001
13 years 10 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
14 years 10 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
14 years 10 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
14 years 1 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
CODES
2009
IEEE
14 years 22 days 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...