Sciweavers

9359 search results - page 336 / 1872
» Generalization Algorithms for Second-Order Terms
Sort
View
TLDI
2003
ACM
108views Formal Methods» more  TLDI 2003»
15 years 12 months ago
Inferring annotated types for inter-procedural register allocation with constructor flattening
We introduce an annotated type system for a compiler intermediate language. The type system is designed to support inter-procedural register allocation and the representation of t...
Torben Amtoft, Robert Muller
CIKM
2009
Springer
15 years 10 months ago
Building domain-oriented sentiment lexicon by improved information bottleneck
This paper describes an adapted information bottleneck approach for construction of domain-oriented sentiment lexicon. The basic idea is to use three kinds of relationships (WWint...
Weifu Du, Songbo Tan
ESANN
2008
15 years 8 months ago
A Regularized Learning Method for Neural Networks Based on Sensitivity Analysis
The Sensitivity-Based Linear Learning Method (SBLLM) is a learning method for two-layer feedforward neural networks, based on sensitivity analysis, that calculates the weights by s...
Bertha Guijarro-Berdiñas, Oscar Fontenla-Ro...
GECCO
2008
Springer
124views Optimization» more  GECCO 2008»
15 years 7 months ago
Ultra high frequency financial data
This note is best described as a ‘Research Challenge’, and concerns building an ultra high frequency (UHF) trading system. The emphasis is on addressing the problems posed by ...
Martin Victor Sewell, Wei Yan
CORR
2007
Springer
119views Education» more  CORR 2007»
15 years 6 months ago
Hadwiger and Helly-type theorems for disjoint unit spheres
Let S be an ordered set of disjoint unit spheres in R3 . We show that if every subset of at most six spheres from S admits a line transversal respecting the ordering, then the ent...
Otfried Cheong, Xavier Goaoc, Andreas Holmsen, Syl...