1888 search results - page 231 / 378 » Proof theory and computational analysis |
DAC
2003
ACM
15 years 7 months ago
2003
ACM
This paper presents a new algorithm based on Integrated Congruence transform for the analysis of both uniform and nonuniform transmission lines. The key advantage of the proposed ...
106
click to vote
CGF
2008
15 years 2 months ago
2008
We propose an analysis of numerical integration based on sampling theory, whereby the integration error caused by aliasing is suppressed by pre-filtering. We derive a pre-filter f...
140
click to vote
ICS
2010
Tsinghua U.
15 years 6 months ago
2010
Tsinghua U.
: We study the weight distribution and list-decoding size of Reed-Muller codes. Given a weight parameter, we are interested in bounding the number of Reed-Muller codewords with a w...
129
click to vote
WWW
2009
ACM
16 years 2 months ago
2009
ACM
We investigate how to organize a large collection of geotagged photos, working with a dataset of about 35 million images collected from Flickr. Our approach combines content analy...
131
click to vote
COGSCI
2010
15 years 2 months ago
2010
Symbols enable people to organize and communicate about the world. However, the ways in which symbolic knowledge is learned and then represented in the mind are poorly understood....