230 search results - page 15 / 46 » Type Derivation Using the Projection Operation |
INFORMATICALT
2007
13 years 7 months ago
2007
The objective of this research is to construct parallel models that simulate the behavior of artificial neural networks. The type of network that is simulated in this project is t...
ECHT
1992
13 years 12 months ago
1992
An approach to exible hyperbase hypertext database support predicated on the notion of extensibility is presented. The extensible hypertext platform Hyperform implements basic hyp...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
In this paper we present an optimal Bangla Keyboard Layout, which distributes the load equally on both hands so that maximizing the ease and minimizing the effort. Bangla alphabet...
TLCA
2005
Springer
14 years 1 months ago
2005
Springer
We use a fully abstract denotational model to show that nested function calls and recursive definitions can be eliminated from SPCF (a typed functional language with simple non-lo...
WSC
2000
13 years 9 months ago
2000
As part of the design of the next generation Naval Amphibious Transport Dock Ship (LPD17), simulation was used to evaluate the arrangement and flow of cargo on the ship and to int...