1168 search results - page 121 / 234 » cases 2000 |
113
click to vote
CN
2000
15 years 4 months ago
2000
: We propose a new scheme of `automatic pricing' for digital contents, and describe an implemented system as well as concrete pricing algorithms for it. Automatic pricing refe...
122
click to vote
COMCOM
2000
15 years 4 months ago
2000
This paper is devoted to the presentation of the RT-LOTOS formal description technique, which is a formalism suited for applications where concurrency, complex synchronization pat...
112
click to vote
CORR
2000
Springer
15 years 4 months ago
2000
Springer
This paper initiates the use of vector fields to design, optimize, and implement reactive schedules for safe cooperative robot patterns on planar graphs. We consider Automated Gui...
151
click to vote
CPC
2000
15 years 4 months ago
2000
This paper describes methods for counting the number of non-negative integer solutions of the system Ax = b when A is a non-negative totally unimodular matrix and b an integral ve...
152
click to vote
CSCW
2000
ACM
15 years 4 months ago
2000
ACM
Abstract. Workflow technologies have created considerable discussion within the computer supported cooperative work community. Although a number of theoretical and empirical warnin...