13090 search results - page 2220 / 2618 » Usable artificial intelligence |
211
click to vote
LATA
2010
Springer
15 years 11 months ago
2010
Springer
Automated reasoning about systems with infinite domains requires an extension of regular automata to infinite alphabets. Existing formalisms of such automata cope with the infinite...
187
click to vote
APN
1993
Springer
15 years 11 months ago
1993
Springer
In this paper we show how to extend Coloured Petri Nets (CP-nets), with three new modelling primitives—place capacities, test arcs and inhibitor arcs. The new modelling primitiv...
184
click to vote
ECAI
1994
Springer
15 years 11 months ago
1994
Springer
1 A hybrid (symbolic/connectionist) cognitive architecture, DUAL, is proposed. It is a multi-agent system which consist of a large number of non-cognitive, relatively simple agents...
202
click to vote
EVOW
1994
Springer
15 years 11 months ago
1994
Springer
One of the main problems in applying evolutionary optimisation methods is the choice of operators and parameter values. This paper propose a competitive evolution method, in which ...
204
Voted
APN
1992
Springer
15 years 11 months ago
1992
Springer
The use of different High-level Petri net formalisms has made it possible to create Petri net models of large systems. Even though the use of such models allows the modeller to cr...