Sciweavers

383 search results - page 5 / 77
» The Study of 3D-from-2D Using Elimination
Sort
View
PODS
2006
ACM
114views Database» more  PODS 2006»
14 years 11 months ago
On redundancy vs dependency preservation in normalization: an information-theoretic study of 3NF
A recently introduced information-theoretic approach to analyzing redundancies in database design was used to justify normal forms like BCNF that completely eliminate redundancies...
Solmaz Kolahi, Leonid Libkin
ICCD
2004
IEEE
137views Hardware» more  ICCD 2004»
14 years 7 months ago
Comparative Study of Strategies for Formal Verification of High-Level Processors
Compared are different methods for evaluation of formulas expressing microprocessor correctness in the logic of Equality with Uninterpreted Functions and Memories (EUFM) by transl...
Miroslav N. Velev
TVCG
2012
210views Hardware» more  TVCG 2012»
12 years 1 months ago
A 2D Flow Visualization User Study Using Explicit Flow Synthesis and Implicit Task Design
—This paper presents a 2D flow visualization user study that we conducted using new methodologies to increase the objectiveness. We evaluated grid-based variable-size arrows, eve...
Zhanping Liu, Shangshu Cai, J. Edward Swan II, Rob...
ICON
2007
IEEE
14 years 5 months ago
A Study of the TKIP Cryptographic DoS Attack
—Wireless networks, especially those based on 802.11, have found widespread use in domestic, commercial, educational, military and public-safety environments. The security of the...
Stephen Mark Glass, Vallipuram Muthukkumarasamy
IEEEIAS
2009
IEEE
13 years 8 months ago
A Study on the Algorithm Based on Image Color Correlation Mining
: Because of the semantic gap between low-level feature and high-level semantic feature of images, the results of the traditional color-based image retrieval can't meet users&...
Yongyue Chen, Huosong Xia