Sciweavers

3657 search results - page 285 / 732
» A Study of Practical Deduplication
Sort
View
WINE
2009
Springer
123views Economy» more  WINE 2009»
16 years 1 months ago
Pseudonyms in Cost-Sharing Games
This work initiates the study of cost-sharing mechanisms that, in addition to the usual incentive compatibility conditions, make it disadvantageous for the users to employ pseudon...
Paolo Penna, Florian Schoppmann, Riccardo Silvestr...
XPU
2009
Springer
16 years 1 months ago
Communicating Domain Knowledge in Executable Acceptance Test Driven Development
We present results of a case study looking at how domain knowledge is communicated to developers using executable acceptance test driven development at a large software development...
Shelly Park, Frank Maurer
ATVA
2009
Springer
137views Hardware» more  ATVA 2009»
16 years 1 months ago
State Space Reduction of Linear Processes Using Control Flow Reconstruction
Abstract. We present a new method for fighting the state space explosion of process algebraic specifications, by performing static analysis on an intermediate format: linear proc...
Jaco van de Pol, Mark Timmer
189
Voted
DCOSS
2009
Springer
16 years 1 months ago
Speed Dating Despite Jammers
Many wireless standards and protocols today, such as WLAN and Bluetooth, operate on similar frequency bands. While this permits an efficient usage of the limited medium capacity, ...
Dominic Meier, Yvonne Anne Pignolet, Stefan Schmid...
EMMCVPR
2009
Springer
16 years 1 months ago
General Search Algorithms for Energy Minimization Problems
We describe a scheme for solving Energy Minimization problems, which is based on the A∗ algorithm accomplished with appropriately chosen LP-relaxations as heuristic functions. Th...
Dmitrij Schlesinger