1237 search results - page 187 / 248 » Strictness and Totality Analysis |
142
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
The paper addresses the question whether it is possible for a machine to learn to distinguish and recognise famous musicians (concert pianists), based on their style of playing. We...
151
click to vote
ECOOP
2004
Springer
15 years 11 months ago
2004
Springer
After two decades of effort, type inference for dynamically typed languages scales to programs of a few tens of thousands of lines of code, but no further. For larger programs, th...
139
click to vote
CVPR
2010
IEEE
15 years 11 months ago
2010
IEEE
The phenomenon of visual curve completion, where the visual system completes the missing part (e.g., due to occlusion) between two contour fragments, is a major problem in percept...
168
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents a on-chip stack based memory organization that effectively reduces the energy dissipation in programmable embedded system architectures. Most embedded systems ...
134
click to vote
ISCAS
2003
IEEE
15 years 11 months ago
2003
IEEE
The design procedure of 2nd - and 3rd -order low-sensitivity lowpower allpole active resistance-capacitance (RC) filters, using the impedance tapering design method has already be...