12774 search results - page 2318 / 2555 » A Framework for Proof Systems |
147
click to vote
WSC
2000
15 years 8 months ago
2000
This paper deals with estimating small tail probabilities of the steady-state waiting time in a GI/GI/1 queue with heavy-tailed (subexponential) service times. The problem of esti...
145
click to vote
AAAI
1994
15 years 8 months ago
1994
Derivation replay was first proposed by Carbonell as a method of transferring guidancefrom a previousproblemsolving episode to a new one. Subsequent implementations have used stat...
168
click to vote
HCI
1993
15 years 8 months ago
1993
People producing illustrations with graphical editors often need to repeat the same steps over and over again. This paper describes five techniques that reduce the amount of repet...
171
click to vote
IJCAI
1993
15 years 8 months ago
1993
We describe a new approach to default reasoning, based on a principle of indi erence among possible worlds. We interpret default rules as extreme statistical statements, thus obta...
160
click to vote
IJCAI
1989
15 years 7 months ago
1989
This theory on semi-equivalence r e l a t i o n s is an important and useful tool for i n v e s t i g a t i n g c l a s s i f i c a t i o n , pattern r e c o g n i t i o n , p o l...