17129 search results - page 3008 / 3426 » Applied Computing |
187
Voted
WOA
2000
15 years 8 months ago
2000
There is a growing interest in the integration of mechanized reasoning systems such as automated theorem provers, computer algebra systems, and model checkers. State-of-the-art re...
168
Voted
WSC
2000
15 years 8 months ago
2000
What actuaries call cash flow testing is a large-scale simulation pitting a company's current policy obligation against future earnings based on interest rates. While life co...
190
click to vote
AAAI
1993
15 years 8 months ago
1993
learning (EBL) component. In this paper we provide a brief review of FOIL and FOCL, then discuss how operationalizing a domain theory can adversely affect the accuracy of a learned...
170
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...
218
click to vote
PDPTA
1996
15 years 8 months ago
1996
An important research topic in image processing is stereo vision. The objective is to compute a 3-dimensional representation of some scenery from two 2-dimensional digital images....