11722 search results - page 2248 / 2345 » How Developers Develop Features |
108
Voted
STACS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We develop for set cover games several general cost-sharing methods that are approximately budget-balanced, core, and/or group-strategyproof. We first study the cost sha...
118
click to vote
TLCA
2005
Springer
15 years 8 months ago
2005
Springer
In a series of articles, we developed a method to translate general recursive functions written in a functional programming style into constructive type theory. Three problems rema...
122
Voted
VIZSEC
2005
Springer
15 years 8 months ago
2005
Springer
While efficient graph-based representations have been developed for modeling combinations of low-level network attacks, relatively little attention has been paid to effective tech...
95
Voted
VLDB
2005
ACM
15 years 8 months ago
2005
ACM
To answer user queries, a data integration system employs a set of semantic mappings between the mediated schema and the schemas of data sources. In dynamic environments sources o...
132
click to vote
WEA
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Many large-scale optimization problems rely on graph theoretic solutions; yet high-performance computing has traditionally focused on regular applications with high degre...