Sciweavers

3639 search results - page 300 / 728
» Experiments on IPv6 Testing
Sort
View
145
Voted
ECIR
2009
Springer
16 years 28 days ago
A Probabilistic Retrieval Model for Semistructured Data
Abstract. Retrieving semistructured (XML) data typically requires either a structured query such as XPath, or a keyword query that does not take structure into account. In this pap...
Jinyoung Kim, Xiaobing Xue, W. Bruce Croft
ICCAD
2006
IEEE
95views Hardware» more  ICCAD 2006»
16 years 19 days ago
Timing model reduction for hierarchical timing analysis
— In this paper, we propose a timing model reduction algorithm for hierarchical timing analysis based on a bicliquestar replacement technique. In hierarchical timing analysis, ea...
Shuo Zhou, Yi Zhu, Yuanfang Hu, Ronald L. Graham, ...
ICCAD
2005
IEEE
160views Hardware» more  ICCAD 2005»
16 years 19 days ago
Equivalence verification of polynomial datapaths with fixed-size bit-vectors using finite ring algebra
— This paper addresses the problem of equivalence verification of RTL descriptions. The focus is on datapathoriented designs that implement polynomial computations over fixed-s...
Namrata Shekhar, Priyank Kalla, Florian Enescu, Si...
CVPR
2009
IEEE
15 years 10 months ago
Manifold Discriminant Analysis
This paper presents a novel discriminative learning method, called Manifold Discriminant Analysis (MDA), to solve the problem of image set classification. By modeling each image s...
Ruiping Wang, Xilin Chen
CHI
2009
ACM
15 years 10 months ago
Mediating programming through chat for the OLPC
We built a text-based programming environment that enables youth to design and implement a chat client for the One Laptop per Child XO. The environment allows users to program and...
Jill P. Dimond, Sarita Yardi, Mark Guzdial