5964 search results - page 818 / 1193 » A theory of speculative computation |
182
click to vote
SPAA
2005
ACM
16 years 1 months ago
2005
ACM
This paper shows for the first time that elimination, a scaling technique formerly applied only to counters and LIFO structures, can be applied to FIFO data structures, specific...
207
click to vote
AIED
2005
Springer
16 years 1 months ago
2005
Springer
Time on task is an important predictor for how much students learn. However, students must be focused on their learning for the time invested to be productive. Unfortunately, stude...
193
click to vote
ATAL
2005
Springer
16 years 1 months ago
2005
Springer
Many industrial or research activities are so expensive that it is often benefitable for the involved agents to cofund the construction or the purchase of a common required resou...
210
click to vote
BIRTHDAY
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Van Glabbeek (1990) presented the linear time/branching time spectrum of behavioral equivalences for finitely branching, concrete, sequential processes. He studied these...
220
click to vote
CVBIA
2005
Springer
16 years 1 months ago
2005
Springer
Cardiopulmonary imaging is a key tool in modern diagnostic and interventional medicine. Automated analysis of MRI or ultrasound video is complicated by limitations on the image qua...