1065 search results - page 139 / 213 » Towards a Meaning of LIFE |
ASE
2008
14 years 11 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
IPM
2008
14 years 11 months ago
2008
Users enter queries that are short as well as long. The aim of this work is to evaluate techniques that can enable information retrieval (IR) systems to automatically adapt to per...
JSCIC
2011
14 years 6 months ago
2011
In this paper, we study a time discrete scheme for the initial value problem of the ES-BGK kinetic equation. Numerically solving these equations are challenging due to the nonlinea...
135
click to vote
CVPR
2011
IEEE
14 years 5 months ago
2011
IEEE
Several attempts have been lately proposed to tackle the
problem of recovering the original image of an underwater
scene using a sequence distorted by water waves. The
main draw...
ICASSP
2011
IEEE
14 years 2 months ago
2011
IEEE
Hawkes processes are used for modeling tick-by-tick variations of a single or of a pair of asset prices. For each asset, two counting processes (with stochastic intensities) are a...