10910 search results - page 1954 / 2182 » Input modeling using a computer algebra system |
158
click to vote
BPM
2008
Springer
15 years 6 months ago
2008
Springer
We present a field study of oncology workflow, involving doctors, nurses and pharmacists at Danish hospitals and discuss the obstacles, enablers and challenges for the use of compu...
125
click to vote
ASPDAC
2005
ACM
15 years 6 months ago
2005
ACM
- We address the problem of implication of assertion graphs that occur in generalized symbolic trajectory evaluation (GSTE). GSTE has demonstrated its powerful capacity in formal v...
143
Voted
IJCAI
2007
15 years 6 months ago
2007
In human-robot interaction (HRI) it is essential that the robot interprets and reacts to a human’s utterances in a manner that reflects their intended meaning. In this paper we...
130
click to vote
NAACL
2007
15 years 6 months ago
2007
This paper reports experiments in which pCRU — a generation framework that combines probabilistic generation methodology with a comprehensive model of the generation space — i...
136
click to vote
NETWORKING
2004
15 years 6 months ago
2004
A common feature of congestion control protocols is the presence of information packets used to signal congestion. We address here the question of how frequently such protocols nee...