Sciweavers

2272 search results - page 336 / 455
» Capture Complexity by Partition
Sort
View
MTV
2003
IEEE
109views Hardware» more  MTV 2003»
15 years 8 months ago
A Methodology for Validation of Microprocessors using Equivalence Checking
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. ...
Prabhat Mishra, Nikil D. Dutt
TPCG
2003
IEEE
15 years 8 months ago
Demosaicing of Colour Images Using Pixel Level Data-Dependent Triangulation
Single-chip digital cameras use an array of broadspectrum Charge-Coupled Devices (CCD) overlayed with a colour filter array. The filter layer consists of transparent patches of ...
Dan Su, Philip Willis
109
Voted
SIGGRAPH
2003
ACM
15 years 8 months ago
Learning controls for blend shape based realistic facial animation
Blend shape animation is the method of choice for keyframe facial animation: a set of blend shapes (key facial expressions) are used to define a linear space of facial expression...
Pushkar Joshi, Wen C. Tien, Mathieu Desbrun, Frede...
ATAL
2003
Springer
15 years 8 months ago
Multiagent diffusion and distributed optimization
Distributed problem solving by a multiagent system represents a promising approach to solving complex computational problems. However, many multiagent systems require certain degr...
Kwok Ching Tsui, Jiming Liu
CAEPIA
2003
Springer
15 years 8 months ago
A Model for Fuzzy Temporal Reasoning on a Database
In decision support systems for Intensive Care Units (ICU), the data management subsystem plays an essential role since the data have a heterogeneous origin. The temporal dimension...
Manuel Campos, José Palma, Roque Marí...