7519 search results - page 1297 / 1504 » Optimizing Generic Functions |
183
click to vote
ROCAI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Many safety related and critical systems warn of potentially dangerous events; for example the Short Term Conflict Alert (STCA) system warns of airspace infractions betw...
213
click to vote
SCOPES
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Synthesis of digital signal processing (DSP) software from dataflow-based formal models is an effective approach for tackling the complexity of modern DSP applications. I...
166
click to vote
VLDB
2004
ACM
15 years 11 months ago
2004
ACM
The Database Tuning Advisor (DTA) that is part of Microsoft SQL Server 2005 is an automated physical database design tool that significantly advances the state-of-the-art in sever...
192
click to vote
FOCS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper analyzes implementable social choice functions (in dominant strategies) over restricted domains of preferences, the leading example being combinatorial auctions. Our wo...
156
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper attempts to evaluate the performance of an environmental mitigation banking system operating under different regulatory. Pricing and subsidization policies using system...