Sciweavers

12084 search results - page 118 / 2417
» Effect Systems with Subtyping
Sort
View
MFPS
1989
14 years 1 months ago
Operations on Records
We define a simple collection of operations for creating and manipulating record structures, where records are intended as finite associations of values to labels. A second-order ...
Luca Cardelli, John C. Mitchell
IUI
2009
ACM
14 years 6 months ago
Modality effects on cognitive load and performance in high-load information presentation
In this study, we argue that modality planning in multimodal presentation systems needs to consider the modality characteristics at not only the presentational level but also the ...
Yujia Cao, Mariët Theune, Anton Nijholt
WSC
2000
13 years 10 months ago
Using agent-based modeling to capture airpower strategic effects
Airpower's strength lies in quickly striking the enemy directly where they are vulnerable while being unhampered by geography and surface forces. Airpower theory suggests the...
Richard K. Bullock, Gregory A. McIntyre, Raymond R...
APVIS
2010
13 years 10 months ago
Quantitative effectiveness measures for direct volume rendered images
With the rapid development in graphics hardware and volume rendering techniques, many volumetric datasets can now be rendered in real time on a standard PC equipped with a commodi...
Yingcai Wu, Huamin Qu, Ka-Kei Chung, Ming-Yuen Cha...
AIRS
2010
Springer
13 years 7 months ago
Effective Time Ratio: A Measure for Web Search Engines with Document Snippets
The dominant method for evaluating search engines is the Cranfield paradigm, but the existing metrics do not consider some modern search engines features, such as document snippets...
Jing He, Baihan Shu, Xiaoming Li, Hongfei Yan