2076 search results - page 225 / 416 » Functional logic overloading |
121
click to vote
FMCAD
2006
Springer
15 years 7 months ago
2006
Springer
In this paper we present a complete method for verifying properties expressed in the temporal logic CTL. In contrast to the majority of verification methods presented in recent yea...
149
Voted
FPL
2006
Springer
15 years 7 months ago
2006
Springer
This paper presents preliminary work exploring adaptive field programmable gate arrays (AFPGAs). An AFPGA is adaptative in the sense that the functionality of subcircuits placed o...
132
Voted
FSKD
2006
Springer
15 years 7 months ago
2006
Springer
Data mining tools generally deal with highly structured and precise data. However, classical methods fail to handle imprecise or uncertain information. This paper proposes a neuro-...
126
click to vote
CTRS
1987
15 years 7 months ago
1987
Conditional rewriting has been studied both from the point of view of algebraic data type specifications and as a computational paradigm combining logic and functional programming...
143
click to vote
PNPM
1987
15 years 7 months ago
1987
Some insight on the meaning of "modeling power" for Stochastic Petri Net models is given. Extensions characterizing a Stochastic Petri Net are categorized as logical or ...