9697 search results - page 375 / 1940 » Intelligent Transportation Systems |
160
click to vote
IEAAIE
1998
Springer
15 years 11 months ago
1998
Springer
In this paper a knowledge-based decision support system is described that determines the abiotic (chemical and physical) characteristics of a site on the basis of in-homogeneous sa...
175
click to vote
EPIA
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. A new algorithm for finding the minimal solutions of systems of linear Diophantine equations has recently been published. In its description the emphasis was put on the ...
127
click to vote
LFCS
1997
Springer
15 years 11 months ago
1997
Springer
The paper is devoted to the investigation of behavioural equivalences of concurrent systems modelled by Petri nets. Back-forth bisimulation equivalences known from the literature a...
150
Voted
FLAIRS
2007
15 years 9 months ago
2007
This paper presents an extension of classical attributive logic using atomic values of attributes. In the proposed logic set values are allowed and various relational symbols are ...
168
click to vote
ARGMAS
2008
Springer
15 years 8 months ago
2008
Springer
Practical reasoning (PR), which is concerned with the generic question of what to do, is generally seen as a two steps process: (1) deliberation, in which an agent decides what st...