4287 search results - page 332 / 858 » Minimal Mental Models |
207
click to vote
TACAS
2010
Springer
15 years 5 months ago
2010
Springer
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...
218
click to vote
ICISC
2009
15 years 4 months ago
2009
Minimizing complexity of group key exchange (GKE) protocols is an important milestone towards their practical deployment. An interesting approach to achieve this goal is to simplif...
226
click to vote
TEC
2010
15 years 1 months ago
2010
We propose a unified data modeling approach that is equally applicable to supervised regression and classification applications, as well as to unsupervised probability density func...
193
click to vote
ISBI
2008
IEEE
16 years 7 months ago
2008
IEEE
Despite substantial progress in measuring the 3D profile of anatomical variations in the human brain, their genetic and environmental causes remain enigmatic. We developed an auto...
216
click to vote
VLSID
2006
IEEE
16 years 7 months ago
2006
IEEE
With device size shrinking and fast rising frequency ranges, effect of cosmic radiations and alpha particles known as Single-Event-Upset (SEU), Single-Eventtransients (SET), is a ...