3951 search results - page 543 / 791 » Automatic amortized analysis |
171
click to vote
KES
2008
Springer
15 years 6 months ago
2008
Springer
Epilepsy is one of the most frequent neurological disorders. The main method used in epilepsy diagnosis is electroencephalogram (EEG) signal analysis. However this method requires ...
176
click to vote
SIGIR
2008
ACM
15 years 6 months ago
2008
ACM
This paper explores topic aspect (i.e., subtopic or facet) classification for English and Chinese collections. The evaluation model assumes a bilingual user who has found document...
188
click to vote
AAECC
2005
Springer
15 years 6 months ago
2005
Springer
Abstract In [24], a new size-change principle was proposed to verify termination of functional programs automatically. We extend this principle in order to prove termination and in...
158
click to vote
JMM2
2007
15 years 6 months ago
2007
— This paper presents an assignment scheme to control multiple Pan/Tilt (PT) cameras for 3D video of a moving object. The system combines static wide field of view (FOV) cameras...
175
click to vote
CI
2000
15 years 6 months ago
2000
This paper discusses a fundamental problem in natural language generation: how to organize the content of a text in a coherent and natural way. In this research, we set out to det...