2291 search results - page 236 / 459 » Logic Programming and Model Checking |
124
click to vote
JUCS
2008
15 years 3 months ago
2008
: This paper describes the development of an Intellectual Property (IP) core in VHDL able to implement a Multilayer Perceptron (MLP) artificial neural network (ANN) topology with u...
104
Voted
EPIA
2007
Springer
15 years 9 months ago
2007
Springer
As we face the real possibility of modelling agent systems capable of non-deterministic self-evolution, we are confronted with the problem of having several different possible futu...
119
Voted
ATS
2005
IEEE
15 years 5 months ago
2005
IEEE
Reversibility is of interest in achieving extremely low power dissipation; it is also an inherent design requirement of quantum computation. Logical fault models for conventional ...
129
click to vote
APSEC
2008
IEEE
15 years 9 months ago
2008
IEEE
Memory usage analysis is an important problem for resource-constrained mobile devices, especially under mission- or safety-critical circumstances. Program codes running on or bein...
146
click to vote
ENTCS
2002
15 years 3 months ago
2002
By using intersection types and filter models we formulate a theory of types for a -calculus with record subtyping via a finitary programming logic. Types are interpreted as space...