4341 search results - page 619 / 869 » Quantitative Model checking |
213
click to vote
DAC
2008
ACM
15 years 8 months ago
2008
ACM
Graphene nanoribbon FETs (GNRFETs) are promising devices for beyond-CMOS nanoelectronics because of their excellent carrier transport properties and potential for large scale proc...
173
click to vote
AAAI
2004
15 years 8 months ago
2004
Qualitative assessment of scientific computations is an emerging application area that applies a data-driven approach to characterize, at a high level, phenomena including conditi...
162
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
We examine the possible use of Description Logics as a knowledge representation and reasoning system for high-level scene interpretation. It is shown that aggregates composed of m...
143
click to vote
NIPS
2001
15 years 8 months ago
2001
Visual inspection of neurons suggests that dendritic orientation may be determined both by internal constraints (e.g. membrane tension) and by external vector fields (e.g. neurotr...
145
click to vote
NIPS
2001
15 years 8 months ago
2001
Neural activity appears to be a crucial component for shaping the receptive fields of cortical simple cells into adjacent, oriented subregions alternately receiving ON- and OFF-ce...