1867 search results - page 186 / 374 » Understanding visual behaviour |
145
Voted
SIGMETRICS
2008
ACM
15 years 3 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
123
Voted
IJMTM
2007
15 years 3 months ago
2007
: We consider a new type of value chain that includes both production and service capabilities for existing product lines and that incorporates new product and service development....
103
Voted
BC
2005
15 years 3 months ago
2005
Neural field models of firing rate activity have had a major impact in helping to develop an understanding of the dynamics seen in brain slice preparations. These models typically...
116
Voted
UAIS
2002
15 years 3 months ago
2002
Most applications accessible through the Web suffer from a noticeable lack of support for adapting to the different information needs that different users may have regarding a cert...
70
Voted
CORR
2009
Springer
15 years 1 months ago
2009
Springer
We investigate the phenomenon of non-recursive trade-offs between descriptional systems in an abstract fashion. We aim at categorizing non-recursive trade-offs by bounds on their g...