309 search results - page 26 / 62 » A quantitative approach to functional debugging |
ICPR
2008
IEEE
14 years 11 months ago
2008
IEEE
In this paper we present a new approach for modelling multiple object scenes using images taken from various viewpoints. The voxel representation produced by the space carving is ...
ICANN
2003
Springer
14 years 3 months ago
2003
Springer
Many activity dependent learning rules have been proposed in order to model long-term potentiation (LTP). Our aim is to derive a spike time dependent learning rule from a probabili...
FSTTCS
2006
Springer
14 years 1 months ago
2006
Springer
In recent papers, the partial order reduction approach has been adapted to reason about the probabilities for temporal properties in concurrent systems with probabilistic behaviour...
HCI
2007
13 years 11 months ago
2007
Eastern and Western cultures differ quite systematically in how they group objects, functions and concepts into categories [1,2,3]. This has implications for how navigation feature...
CMG
2006
13 years 11 months ago
2006
We present a comprehensive model for quantitative evaluation and comparison of search engines. The model is based on the LSP method for system evaluation. The basic contribution of...