2374 search results - page 394 / 475 » Automatic Generation of Model Translations |
145
click to vote
ISCAS
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— We present a simple silicon circuit for modelling voltagedependent ion channels found within neural cells, capturing both the gating particle’s sigmoidal activation (...
145
click to vote
JCB
2007
15 years 4 months ago
2007
MicroRNAs (miRNAs) regulate a large proportion of mammalian genes by hybridizing to targeted messenger RNAs (mRNAs) and down-regulating their translation into protein. Although mu...
135
click to vote
CHI
2009
ACM
16 years 5 months ago
2009
ACM
Context-aware intelligent systems employ implicit inputs, and make decisions based on complex rules and machine learning models that are rarely clear to users. Such lack of system...
126
click to vote
GIS
2009
ACM
15 years 11 months ago
2009
ACM
We propose an automatic approach to tree detection from aerial imagery. First a pixel-level classifier is trained to assign a {tree, non-tree} label to each pixel in an aerial im...
157
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...