Sciweavers

4042 search results - page 707 / 809
» The EXODUS Optimizer Generator
Sort
View
ET
2007
67views more  ET 2007»
13 years 9 months ago
A Formal Analysis of Fault Diagnosis with D-matrices
As new approaches and algorithms are developed for system diagnosis, it is important to reflect on existing approaches to determine their strengths and weaknesses. Of concern is i...
John W. Sheppard, S. G. W. Butcher
FMSD
2007
133views more  FMSD 2007»
13 years 9 months ago
Static priority scheduling of event-triggered real-time embedded systems
Real-time embedded systems are often specified as a collection of independent tasks, each generating a sequence of event-triggered code blocks, and the scheduling in this domain ...
Cagkan Erbas, Andy D. Pimentel, Selin Cerav-Erbas
MP
2006
87views more  MP 2006»
13 years 9 months ago
Convexity and decomposition of mean-risk stochastic programs
Abstract. Traditional stochastic programming is risk neutral in the sense that it is concerned with the optimization of an expectation criterion. A common approach to addressing ri...
Shabbir Ahmed
SAC
2006
ACM
13 years 9 months ago
Assisted verification of elementary functions using Gappa
The implementation of a correctly rounded or interval elementary function needs to be proven carefully in the very last details. The proof requires a tight bound on the overall er...
Florent de Dinechin, Christoph Quirin Lauter, Guil...
SIGKDD
2008
150views more  SIGKDD 2008»
13 years 9 months ago
Learning to improve area-under-FROC for imbalanced medical data classification using an ensemble method
This paper presents our solution for KDD Cup 2008 competition that aims at optimizing the area under ROC for breast cancer detection. We exploited weighted-based classification me...
Hung-Yi Lo, Chun-Min Chang, Tsung-Hsien Chiang, Ch...