7988 search results - page 297 / 1598 » A Useful Undecidable Theory |
153
click to vote
NAACL
2004
15 years 6 months ago
2004
With the increasing use of research paper search engines, such as CiteSeer, for both literature search and hiring decisions, the accuracy of such systems is of paramount importanc...
140
Voted
CE
2008
15 years 5 months ago
2008
Motivation and pressure are considered two factors impacting vocational senior high school student learning. New communication technology, especially mobile communication technolo...
135
click to vote
TSMC
2002
15 years 5 months ago
2002
This paper discusses the problem of approximating data points in -dimensional Euclidean space using spherical and ellipsoidal surfaces. A closed form solution is provided for spher...
174
click to vote
TVLSI
2002
15 years 5 months ago
2002
: Clock networks account for a significant fraction of the power dissipation of a chip and are critical to performance. This paper presents theory and algorithms for building a low...
133
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
nalysis of a TA modeled component. First, we abstract fine models to work with event streams at coarse granularity. We perform analysis of the component at multiple coarse granular...