9490 search results - page 328 / 1898 » Slow Intelligence Systems |
148
click to vote
AI
2001
Springer
15 years 11 months ago
2001
Springer
This paper describes the user interface design and evaluation of TransType, a system that watches over the user as he or she types a translation and repeatedly suggests completions...
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...
171
click to vote
EPIA
1997
Springer
15 years 10 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 10 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...
148
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 ...