Sciweavers

4428 search results - page 247 / 886
» The Chow Parameters Problem
Sort
View
SIGECOM
2005
ACM
122views ECommerce» more  SIGECOM 2005»
15 years 11 months ago
Multi-unit auctions with budget-constrained bidders
We study a multi-unit auction with multiple bidders, each of whom has a private valuation and a budget. The truthful mechanisms of such an auction are characterized, in the sense ...
Christian Borgs, Jennifer T. Chayes, Nicole Immorl...
FIMH
2005
Springer
15 years 11 months ago
Estimating Local Apparent Conductivity with a 2-D Electrophysiological Model of the Heart
Abstract. In this article we study the problem of estimating the parameters of a 2-D electrophysiological model of the heart from a set of temporal recordings of extracellular pote...
Valérie Moreau-Villéger, Hervé...
FATES
2004
Springer
15 years 11 months ago
Specifying and Generating Test Cases Using Observer Automata
We present a technique for specifying coverage criteria and a method for generating test suites for systems whose behaviours can be described as extended finite state machines (EF...
Johan Blom, Anders Hessel, Bengt Jonsson, Paul Pet...
ECRTS
2003
IEEE
15 years 10 months ago
Establishing Timing Requirements and Control Attributes for Control Loops in Real-Time Systems
Advances in scheduling theory have given designers of control systems greater flexibility over their choice of timing requirements. This could lead to systems becoming more respon...
Iain Bate, Peter Nightingale, Anton Cervin
165
Voted
EUROCRYPT
2003
Springer
15 years 10 months ago
Cryptanalysis of the Public-Key Encryption Based on Braid Groups
At CRYPTO 2000, a new public-key encryption based on braid groups was introduced. This paper demonstrates how to solve its underlying problem using the Burau representation. By thi...
Eonkyung Lee, Je Hong Park