2251 search results - page 316 / 451 » Specification and Implementation Problems for C |
135
click to vote
ICANN
1997
Springer
15 years 9 months ago
1997
Springer
: Substantial evidence indicates that the time structure of neuronal spike trains is relevant in neuronal signal processing. Bio-inspired spiking neural networks are taking these r...
147
Voted
RE
1997
Springer
15 years 9 months ago
1997
Springer
—Formal methods have yet to achieve wide industrial acceptance for several reasons. They are not well integrated into hed industrial software processes, their application require...
145
click to vote
APL
1992
ACM
15 years 9 months ago
1992
ACM
We present the design and implementation of APL Intrinsic Functions for a Finite State Machine (also known as a Finite State Automaton) which recognizes regular languages, and a P...
147
click to vote
ECAI
1992
Springer
15 years 9 months ago
1992
Springer
ABSTRACT. This paper investigates the problem of finding subclasses of nonmonotonic reasoning which can be implemented efficiently. The ability to "define" propositions u...
142
Voted
DAC
2007
ACM
15 years 8 months ago
2007
ACM
Microfluidic biochips are revolutionizing many areas of biochemistry and biomedical sciences. Several synthesis tools have recently been proposed for the automated design of bioch...