2661 search results - page 302 / 533 » Model Checking Performability Properties |
112
click to vote
NN
1998
Springer
15 years 11 days ago
1998
Springer
In this paper we present an approach to robot arm control based on exploiting the dynamical properties of a simple neural network oscillator circuit coupled to the joints of an ar...
101
Voted
LSMS
2007
Springer
15 years 6 months ago
2007
Springer
Understanding how the retina encodes visual information is a key issue for the development of a retinal prosthesis. To study this issue, the neural retina is modeled as a retina mo...
100
Voted
RECOMB
2009
Springer
16 years 1 months ago
2009
Springer
Finding similar structures from 3-D structure databases of proteins is becoming more and more important issue in the post-genomic molecular biology. To compare 3-D structures of tw...
94
Voted
ICCAD
2007
IEEE
15 years 9 months ago
2007
IEEE
ion Chao Wang NEC Laboratories America Hyondeuk Kim University of Colorado Aarti Gupta NEC Laboratories America Variable hiding and predicate abstraction are two popular abstracti...
122
Voted
ACSAC
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—The traditional virtual machine usage model advocates placing security mechanisms in a trusted VM layer and letting the untrusted guest OS run unaware of the presence of...