Sciweavers

2763 search results - page 106 / 553
» The Dangerous 'All' in Specifications
Sort
View
SIGPLAN
1998
13 years 9 months ago
Optimizing Away C++ Exception Handling
A high performance implementation of C++ exception handling is crucial, because exception handling overhead is distributed across all code. The commonly-used table-driven approach...
Jonathan L. Schilling
LICS
2010
IEEE
13 years 7 months ago
Regular Cost Functions over Finite Trees
We develop the theory of regular cost functions over finite trees: a quantitative extension to the notion of regular languages of trees: Cost functions map each input (tree) to a v...
Thomas Colcombet, Christof Löding
HCI
2009
13 years 7 months ago
Testing of a Novel Web Browser Interface for the Chinese Market
This paper compares the perspicacity, appropriateness and preference of web browser icons from leading software providers with those of a culturespecific design. This online study ...
Siu-Tsen Shen, Stephen D. Prior, Kuen-Meau Chen
ENDM
2010
115views more  ENDM 2010»
13 years 6 months ago
On the knapsack closure of 0-1 Integer Linear Programs
Many inequalities for Mixed-Integer Linear Programs (MILPs) or pure Integer Linear Programs (ILPs) are derived from the Gomory corner relaxation, where all the nonbinding constrai...
Matteo Fischetti, Andrea Lodi
TASLP
2010
159views more  TASLP 2010»
13 years 4 months ago
Under-Determined Reverberant Audio Source Separation Using a Full-Rank Spatial Covariance Model
This article addresses the modeling of reverberant recording environments in the context of under-determined convolutive blind source separation. We model the contribution of each ...
Ngoc Q. K. Duong, Emmanuel Vincent, Rémi Gr...