4325 search results - page 497 / 865 » Incremental computation with names |
176
click to vote
BIRTHDAY
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. State-of-the-art proof presentation systems suffer from several deficiencies. First, they simply present the proofs without motivating why the proof is done as it is do...
195
click to vote
DMSN
2004
ACM
16 years 7 days ago
2004
ACM
Recent work in sensor databases has focused extensively on distributed query problems, notably distributed computation of aggregates. Existing methods for computing aggregates bro...
199
click to vote
ECCV
2004
Springer
16 years 6 days ago
2004
Springer
Diffusion tensor magnetic resonance imaging (DT-MRI) is emerging as an important tool in medical image analysis of the brain. However, relatively little work has been done on produ...
154
click to vote
TIDSE
2004
Springer
16 years 4 days ago
2004
Springer
Any movie production needs a whole group of contributing authors and creative artists from various fields. The same should obviously be true for the making of a compelling VR scena...
169
click to vote
ICPPW
2003
IEEE
16 years 3 days ago
2003
IEEE
Recent work in high-performance computing has shifted attention to PC clusters.. For PC-clusters, member nodes are independent computers connected by generalpurpose networks. The ...