8766 search results - page 611 / 1754 » Functional logic programming |
174
click to vote
PROLAMAT
2001
15 years 6 months ago
2001
: In most cases in intelligent manufacturing applications the communication functions depend on the capabilities of the intelligent tool (e.g. expert system). Three different types...
147
Voted
ET
2007
15 years 5 months ago
2007
Crossbar architectures are one approach to molecular electronic circuits for memory and logic applications. However, currently feasible manufacturing technologies introduce numero...
134
Voted
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
We propose a new class of representations that can be used for modeling (and model checking) temporal, strategic and epistemic properties of agents and their teams. Our representa...
132
click to vote
CAISE
1999
Springer
15 years 9 months ago
1999
Springer
In this paper, we describe the process specification language ConGolog and show how it can be used to model business processes for requirements analysis. In ConGolog, the effects...
177
Voted
ARTS
1997
Springer
15 years 9 months ago
1997
Springer
We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in...