835 search results - page 70 / 167 » Structural Recursion as a Query Language |
AEI
1999
13 years 8 months ago
1999
Many computer simulations, experimental testing and monitoring of physical systems produce vast amounts of quantitative data. These data have always been assimilated by trained an...
MPC
1995
Springer
14 years 13 days ago
1995
Springer
PVS is a highly automated framework for speci cation and veri cation. We show how the language and deduction features of PVS can be used to formalize, mechanize, and apply some us...
AI
2002
Springer
13 years 8 months ago
2002
Springer
The concept of Dynamic Neural Networks (DNN) is a new approach within the Neural Network paradigm, which is based on the dynamic construction of Neural Networks during the processi...
OPODIS
2004
13 years 10 months ago
2004
Firewalls are crucial elements in network security, and have been widely deployed in most businesses and institutions for securing private networks. The function of a firewall is t...
CORR
2006
Springer
13 years 9 months ago
2006
Springer
Packrat parsing is a novel technique for implementing parsers in a lazy functional programming language. A packrat parser provides the power and flexibility of top-down parsing wi...