Sciweavers

380 search results - page 76 / 76
» Design Methods for Multiple-Valued Input Address Generators
Sort
View
VISUALIZATION
2005
IEEE
13 years 10 months ago
Distributed Data Management for Large Volume Visualization
We propose a distributed data management scheme for large data visualization that emphasizes efficient data sharing and access. To minimize data access time and support users wit...
Jinzhu Gao, Jian Huang, C. Ryan Johnson, Scott Atc...
FM
2005
Springer
98views Formal Methods» more  FM 2005»
13 years 10 months ago
Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first ve...
Richard Banach, Michael Poppleton, Czeslaw Jeske, ...
KDD
2009
ACM
224views Data Mining» more  KDD 2009»
13 years 9 months ago
Issues in evaluation of stream learning algorithms
Learning from data streams is a research area of increasing importance. Nowadays, several stream learning algorithms have been developed. Most of them learn decision models that c...
João Gama, Raquel Sebastião, Pedro P...
CAGD
2006
114views more  CAGD 2006»
13 years 5 months ago
Jet subdivision schemes on the k-regular complex
We introduce a new family of subdivision schemes called jet subdivision schemes. Jet subdivision schemes are a natural generalization of the commonly used subdivision schemes for ...
Yonggang Xue, Thomas P.-Y. Yu, Tom Duchamp
CGF
2010
177views more  CGF 2010»
13 years 3 months ago
Condenser-Based Instant Reflectometry
We present a technique for rapid capture of high quality bidirectional reflection distribution functions(BRDFs) of surface points. Our method represents the BRDF at each point by ...
Yanxiang Lan, Yue Dong, Jiaping Wang, Xin Tong, Ba...