9110 search results - page 431 / 1822 » Formally-Based Design Evaluation |
156
click to vote
EAAI
2008
15 years 6 months ago
2008
This article presents an optimization method used at the electric-motor design. The goal of the optimization was to find the geometrical parameter values that would generate the r...
176
click to vote
DATAMINE
2006
15 years 6 months ago
2006
Standard hidden Markov models (HMM's) have been studied extensively in the last two decades. It is well known that these models assume state conditional independence of the ob...
150
click to vote
CN
2007
15 years 6 months ago
2007
Uncontrolled overload can lead e-commerce applications to considerable revenue losses. For this reason, overload prevention in these applications is a critical issue. In this pape...
171
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
We consider the problem of Adverse Selection and optimal derivative design within a Principal-Agent framework. The principal’s income is exposed to non-hedgeable risk factors ar...
158
click to vote
PERVASIVE
2006
Springer
15 years 6 months ago
2006
Springer
In this paper, we introduce MITes, a flexible kit of wireless sensing devices for pervasive computing research in natural settings. The sensors have been optimized for ease of use,...