Sciweavers

6704 search results - page 1141 / 1341
» Testing Scenario-Based Models
Sort
View
103
Voted
CGO
2006
IEEE
15 years 7 months ago
Compiler Optimizations to Reduce Security Overhead
In this work, we present several compiler optimizations to reduce the overhead due to software protection. We first propose an aggressive rematerialization algorithm which attempt...
Tao Zhang, Xiaotong Zhuang, Santosh Pande
127
Voted
ECOOP
2004
Springer
15 years 7 months ago
Early Identification of Incompatibilities in Multi-component Upgrades
Previous work proposed a technique for predicting problems resulting from replacing one version of a software component by another. The technique reports, before performing the rep...
Stephen McCamant, Michael D. Ernst
148
Voted
CIARP
2006
Springer
15 years 7 months ago
Oscillating Feature Subset Search Algorithm for Text Categorization
Abstract. A major characteristic of text document categorization problems is the extremely high dimensionality of text data. In this paper we explore the usability of the Oscillati...
Jana Novovicová, Petr Somol, Pavel Pudil
144
Voted
ECAI
2006
Springer
15 years 7 months ago
An Automated Agent for Bilateral Negotiation with Bounded Rational Agents with Incomplete Information
Many day-to-day tasks require negotiation, mostly under conditions of incomplete information. In particular, the opponent's exact tradeoff between different offers is usually ...
Raz Lin, Sarit Kraus, Jonathan Wilkenfeld, James B...
128
Voted
ECML
2006
Springer
15 years 7 months ago
Efficient Non-linear Control Through Neuroevolution
Abstract. Many complex control problems are not amenable to traditional controller design. Not only is it difficult to model real systems, but often it is unclear what kind of beha...
Faustino J. Gomez, Jürgen Schmidhuber, Risto ...
« Prev « First page 1141 / 1341 Last » Next »