8766 search results - page 496 / 1754 » Functional logic programming |
132
click to vote
ETS
2011
IEEE
14 years 4 months ago
2011
IEEE
—In-field diagnosability of electronic components in larger systems such as automobiles becomes a necessity for both customers and system integrators. Traditionally, functional ...
136
click to vote
ECSQARU
2005
Springer
15 years 10 months ago
2005
Springer
Semi-revision is a model of belief change that differs from revision in that a new formula is not always accepted. Later, Fuhrmann defined multiple semi-revision by replacing a n...
134
click to vote
SGAI
2009
Springer
15 years 9 months ago
2009
Springer
PSO is a population-based technique for optimization, which simulates the social behavior of the fish schooling or bird flocking. Two significant weaknesses of this method are: fir...
143
click to vote
BIRTHDAY
2000
Springer
15 years 8 months ago
2000
Springer
Bistructures are a generalisation of event structures which allow a representation of spaces of functions at higher types in an orderextensional setting. The partial order of caus...
130
click to vote
TPHOL
1999
IEEE
15 years 8 months ago
1999
IEEE
Abstract. Isabelle/HOL has recently acquired new versions of definitional packages for inductive datatypes and primitive recursive functions. In contrast to its predecessors and mo...