4463 search results - page 411 / 893 » computing 2000 |
212
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
Systematic state-space exploration is a powerful technique for veri cation of concurrent software systems. Most work in this area deals with manually-constructed models of those sy...
146
click to vote
WMCSA
2000
IEEE
15 years 11 months ago
2000
IEEE
Mobile computing offers the possibility of dramatically expanding the versatility of computers, by bringing them off the desktop and into new and unique contexts. However, this ne...
188
click to vote
SC
2000
ACM
15 years 10 months ago
2000
ACM
Adaptive scientific simulations require that periodic repartitioning occur dynamically throughout the course of the computation. The repartitionings should be computed so as to mi...
203
click to vote
RIAO
2000
15 years 8 months ago
2000
Informationretrieval systems typically weight the importance of search terms according to document and collection statistics (such as by using tf idf scores, where less commonterm...
219
click to vote
IJCV
2000
15 years 6 months ago
2000
We describe how to model the appearance of a 3-D object using multiple views, learn such a model from training images, and use the model for object recognition. The model uses pro...