Sciweavers

4131 search results - page 496 / 827
» Compactness in Topology and Computation
Sort
View
ICMCS
2005
IEEE
130views Multimedia» more  ICMCS 2005»
16 years 11 days ago
The photodynamic tool: generation of animation from a single texture image
This paper proposes a new animation editing method for creating animations from a single texture image. A standard warping method can not handle a physical motion effect because o...
Hidetomo Sakaino
LCN
2005
IEEE
16 years 11 days ago
Approximate Coverage in Wireless Sensor Networks
— Recent advances in microelectronic technology have made it possible to construct compact and inexpensive wireless sensors. Sensor networks have received significant attention ...
Yuzhen Liu, Weifa Liang
QSHINE
2005
IEEE
16 years 11 days ago
On the Variable Capacity Property of CC/DS-CDMA Systems
—A complete complementary code based direct sequence code division multiple access (CC/DS-CDMA) system has been proposed recently as a potential candidate for beyond third genera...
Li-Peng Wang, Yang Yang, Hsiao-Hwa Chen, Yonghua S...
VLSID
2005
IEEE
97views VLSI» more  VLSID 2005»
16 years 11 days ago
Q-PREZ: QBF Evaluation Using Partition, Resolution and Elimination with ZBDDs
In recent years, there has been an increasing interest in Quantified Boolean Formula (QBF) evaluation, since several VLSI CAD problems can be formulated efficiently as QBF insta...
Kameshwar Chandrasekar, Michael S. Hsiao
APLAS
2005
ACM
16 years 10 days ago
Calculating Polynomial Runtime Properties
Affine size-change analysis has been used for termination analysis of eager functional programming languages. The same style of analysis is also capable of compactly recording and ...
Hugh Anderson, Siau-Cheng Khoo, Stefan Andrei, Bea...