4762 search results - page 664 / 953 » About the use of protein models |
146
click to vote
ACSD
2001
IEEE
15 years 5 months ago
2001
IEEE
We present a new way to define the semantics of imperative synchronous languages by means of separating the control and the data flow. The control flow is defined by predicates th...
130
click to vote
APSEC
2001
IEEE
15 years 5 months ago
2001
IEEE
Accelerating the learning curve of software maintainers working on systems with which they have little familiarity motivated this study. A working hypothesis was that automated me...
103
click to vote
ICCAD
1998
IEEE
15 years 5 months ago
1998
IEEE
This paper introduces Lazy Transitions Systems (LzTSs). The notion of laziness explicitly distinguishes between the enabling and the firing of an event in a transition system. LzT...
ICPR
2010
IEEE
15 years 5 months ago
2010
IEEE
We propose a three-state series neural network for effective propagation of context and uncertainty information for image parsing. The activation functions used in the proposed mod...
BIRTHDAY
2008
Springer
15 years 3 months ago
2008
Springer
Name passing calculi are nowadays an established field on its own. Besides their practical relevance, they offered an intriguing challenge, since the standard operational, denotati...