Sciweavers

1313 search results - page 163 / 263
» Generic Universe Types
Sort
View
JWE
2006
90views more  JWE 2006»
15 years 5 months ago
On Cultural Differences in Local Web Interfaces
In the light of the existing literature on the issue of cross-cultural interface design, we carried out a smallscale study in order to check whether we could find cultural differe...
Olga De Troyer, Abdalghani Mushtaha, H. Stengers, ...
IJON
2007
184views more  IJON 2007»
15 years 5 months ago
Convex incremental extreme learning machine
Unlike the conventional neural network theories and implementations, Huang et al. [Universal approximation using incremental constructive feedforward networks with random hidden n...
Guang-Bin Huang, Lei Chen
MA
2010
Springer
153views Communications» more  MA 2010»
15 years 3 months ago
Testing quasi-independence for truncation data
Quasi-independence is a common assumption for analyzing truncated data. To verify this condition, we consider a class of weighted log-rank type statistics that include existing te...
Takeshi Emura, Weijing Wang
STOC
2012
ACM
251views Algorithms» more  STOC 2012»
13 years 7 months ago
Minimax option pricing meets black-scholes in the limit
Option contracts are a type of financial derivative that allow investors to hedge risk and speculate on the variation of an asset’s future market price. In short, an option has...
Jacob Abernethy, Rafael M. Frongillo, Andre Wibiso...
ICSE
2005
IEEE-ACM
16 years 5 months ago
Verifying safety policies with size properties and alias controls
Many software properties can be analysed through a relational size analysis on each function's inputs and outputs. Such relational analysis (through a form of dependent typin...
Wei-Ngan Chin, Siau-Cheng Khoo, Shengchao Qin, Cor...