6201 search results - page 1090 / 1241 » Implementation of Axiomatic Language |
141
click to vote
WEBNET
1997
15 years 7 months ago
1997
: Cineast is a freely available, extensible Web browser which intends to provide an environment for prototyping new client side Internet technologies. Cineast has built-in support ...
152
click to vote
WSC
1997
15 years 7 months ago
1997
Outcomes of this modeling research are the ability to facilitate comparisons of investment alternatives or strategies; regarding primary targets, possible annual revenues, promoti...
147
click to vote
AAAI
1996
15 years 7 months ago
1996
The SIGNAL insurance companies have developed an expert system for the support of its customer sales service. It was introduced at the end of 1993 and is currently used by approxi...
167
click to vote
ANLP
1994
15 years 7 months ago
1994
Biological specimens have historicallybeen labeled with English descriptions of the location of collection. To perform spatial, statistical, or historic studies, these description...
168
click to vote
DAGSTUHL
1996
15 years 7 months ago
1996
A supercompiler is a program which can performa deep transformation of programsusing a principle which is similarto partial evaluation, and can be referred to as metacomputation. ...