9110 search results - page 470 / 1822 » Formally-Based Design Evaluation |
199
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
Generally progressive procedural content in the context of 3D scene rendering is expressed as recursive functions where a finer level of detail gets computed on demand. Typical e...
216
click to vote
PCRCW
1997
Springer
15 years 11 months ago
1997
Springer
In recent years, theChaos Project at theUniversityofWashingtonhas analyzed and simulated a dozen routing algorithms. Three new routing algorithms have been invented; of these, the...
186
click to vote
TCSV
2002
15 years 6 months ago
2002
Despite the availability of video-on-demand (VoD) services in a number of cities around the world, large-scale deployment of VoD services in a metropolitan area is still economical...
189
click to vote
CSCW
2011
ACM
15 years 1 months ago
2011
ACM
The emergence of online labor markets makes it far easier to use individual human raters to evaluate materials for data collection and analysis in the social sciences. In this pap...
231
click to vote
TIFS
2011
15 years 1 months ago
2011
— “Pairing” is the establishment of authenticated key agreement between two devices over a wireless channel. Such devices are ad hoc in nature as they lack any common preshar...