4341 search results - page 600 / 869 » Quantitative Model checking |
172
click to vote
BC
2002
15 years 6 months ago
2002
The importance of the hippocampus in spatial representation is well established. It is suggested that the rodent hippocampal network should provide an optimal substrate for the stu...
195
click to vote
INFSOF
2000
15 years 6 months ago
2000
Distributed object architectures and Java are important for building modern, scalable, web-enabled applications. This paper is focused on qualitative and quantitative comparison o...
192
click to vote
SCFBM
2008
15 years 6 months ago
2008
Modern life sciences research increasingly relies on computational solutions, from large scale data analyses to theoretical modeling. Within the theoretical models Boolean network...
181
click to vote
ICIP
2009
IEEE
15 years 4 months ago
2009
IEEE
Natural image matting is an extremely challenging image processing problem due to its ill-posed nature. It often requires skilled user interaction to aid definition of foreground ...
198
click to vote
TNN
2010
15 years 1 months ago
2010
In this paper, a novel real-time online network model is presented. It is derived from the hierarchical radial basis function (HRBF) model and it grows by automatically adding unit...