10159 search results - page 1915 / 2032 » System Design Validation Using Formal Models |
76
Voted
FLAIRS
2003
15 years 3 months ago
2003
This article describes the application of computational decision analytic techniques for a national policy decision. It constitutes an example of the increasing use of modern comp...
120
Voted
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
Bushfire BLOCKS is a modular, distributed, agent-based simulation for exploring and informing bushfire response strategies. Separate independent modules capture the fire spread, e...
101
Voted
CN
2008
15 years 2 months ago
2008
In this paper, we propose a low-complexity auction framework to distribute spectrum in real-time among a large number of wireless users with dynamic traffic. Our design consists o...
128
Voted
SIGIR
2008
ACM
15 years 2 months ago
2008
ACM
Collaborative Filtering (CF) requires user-rated training examples for statistical inference about the preferences of new users. Active learning strategies identify the most infor...
123
Voted
DEBU
2010
14 years 11 months ago
2010
Sharing structured data today requires agreeing on a standard schema, then mapping and cleaning all of the data to achieve a single queriable mediated instance. However, for setti...