8766 search results - page 509 / 1754 » Functional logic programming |
135
Voted
APSEC
2006
IEEE
15 years 10 months ago
2006
IEEE
Testing for time-related behaviors of PLC software is important and should be performed carefully. We propose a structural testing technique on Function Block Diagram(FBD) network...
121
click to vote
DAC
2003
ACM
16 years 5 months ago
2003
ACM
In some cases, minimum Sum-Of-Products (SOP) expressions of Boolean functions can be derived by detecting decomposition and observing the functional properties such as unateness, ...
156
click to vote
FUZZIEEE
2007
IEEE
15 years 11 months ago
2007
IEEE
— Data mining is most commonly used in attempts to induce association rules from transaction data. Most previous studies focused on binary-valued transaction data. Transaction da...
124
Voted
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
This paper introduces AgentSpeak(F), a variation of the BDI logic programming language AgentSpeak(L) intended to permit the model-theoretic verification of multi-agent systems. A...
123
click to vote
APCSAC
2004
IEEE
15 years 8 months ago
2004
IEEE
In the context of general-purpose processing, an increasing number of diverse functional units are added to cover a wide spectrum of applications. However, it is still possible to ...