12753 search results - page 2209 / 2551 » is 2002 |
148
click to vote
LOGCOM
2002
15 years 6 months ago
2002
The paper deals with logically definable families of sets (or point-sets) of rational numbers. In particular we are interested whether the families definable over the real line wi...
180
click to vote
LOGCOM
2002
15 years 6 months ago
2002
paper, we present an abstract formal model of decision-making in a social setting that covers all aspects of the process, from recognition of a potential for cooperation through t...
213
click to vote
LOGCOM
2002
15 years 6 months ago
2002
We present a logical approach to plan recognition that builds on Kautz's theory of keyhole plan recognition, defined as the problem of inferring descriptions of high-level pl...
157
click to vote
LRE
2002
15 years 6 months ago
2002
Users need more sophisticated tools to handle the growing number of image-based documents available in databases. In this paper, we present a system devoted to the editing and bro...
162
click to vote
MAM
2002
15 years 6 months ago
2002
The use of a centralised planning scheduler in fieldbus-based systems requiring real-time operation has proved to be a good compromise between operational flexibility and timeline...