1222 search results - page 224 / 245 » A Bayesian Approach to Model Checking Biological Systems |
158
click to vote
ATAL
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. Just as cooperation in multi-agent systems is a central issue for solving complex tasks, so too is the ability for an intelligent agent to reason about combined knowledge...
106
click to vote
EMSOFT
2006
Springer
15 years 5 months ago
2006
Springer
A key problem for effective unit testing is the difficulty of partitioning large software systems into appropriate units that can be tested in isolation. We present an approach th...
107
click to vote
CVPR
2009
IEEE
15 years 8 months ago
2009
IEEE
We investigate the biologically inspired features (BIF) for human age estimation from faces. As in previous bioinspired models, a pyramid of Gabor filters are used at all positio...
186
click to vote
ICARCV
2006
IEEE
15 years 8 months ago
2006
IEEE
— As confirmed by recent neurophysiological studies, the use of dynamic information is extremely important for humans in visual perception of biological forms and motion. Apart ...
136
click to vote
ICASSP
2011
IEEE
14 years 5 months ago
2011
IEEE
In many contexts, one is confronted with the problem of extracting information from large amounts of different types soft data (e.g., text) and hard data (from e.g., physics-based...