29082 search results - page 208 / 5817 » The Time-Triggered Model of Computation |
147
click to vote
ECOOPWEXCEPTION
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In this paper we present conceptual foundations of an exception handling model for context-aware CSCW applications. Human participation in the recovery actions is an inte...
110
click to vote
CCE
2007
15 years 4 months ago
2007
A problem of frequent interest in analyzing nonlinear ODE models of ecological systems is the location of equilibrium states and bifurcations. Interval-Newton techniques are explo...
113
click to vote
ECAL
2005
Springer
15 years 9 months ago
2005
Springer
We propose a biologically and physically plausible model for ants and pheromones, and show this model to be sufficiently powerful to simulate the computation of arbitrary logic cir...
117
click to vote
AUSAI
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we present several efficient computational procedures for defeasible reasoning while the plausible and well-defined semantics, viz. preferred models and stable mode...
106
Voted
INTERSPEECH
2010
14 years 10 months ago
2010
Last year, we showed that the computation of a GMM-UBMbased speaker verification (SV) system may be sped up by 30 times by using a high-density discrete model (HDDM) on the NIST 2...