Sciweavers

7103 search results - page 854 / 1421
» Program Generation and Components
Sort
View
188
Voted
WSC
2007
15 years 9 months ago
Non-Gaussian asset allocation in the federal thrift savings plan
Historical data suggest that returns of stocks and indices are not distributed independent and identically Normal, as is commonly assumed. Instead, returns of financial assets are...
Scott T. Nestler
ICPR
2010
IEEE
15 years 9 months ago
SemiCCA: Efficient Semi-Supervised Learning of Canonical Correlations
Canonical correlation analysis (CCA) is a powerful tool for analyzing multi-dimensional paired data. However, CCA tends to perform poorly when the number of paired samples is limit...
Akisato Kimura, Hirokazu Kameoka, Masashi Sugiyama...
FM
2008
Springer
171views Formal Methods» more  FM 2008»
15 years 8 months ago
Assume-Guarantee Verification for Interface Automata
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
Michael Emmi, Dimitra Giannakopoulou, Corina S. Pa...
ADMI
2010
Springer
15 years 8 months ago
Probabilistic Modeling of Mobile Agents' Trajectories
Abstract. We present a method for learning characteristic motion patterns of mobile agents. The method works on two levels. On the first level, it uses the expectation-maximization...
Stepán Urban, Michal Jakob, Michal Pechouce...
AAAI
2010
15 years 8 months ago
Generalized Task Markets for Human and Machine Computation
We discuss challenges and opportunities for developing generalized task markets where human and machine intelligence are enlisted to solve problems, based on a consideration of th...
Dafna Shahaf, Eric Horvitz