7529 search results - page 398 / 1506 » The Modula-3 Type System |
183
click to vote
ICAPR
2001
Springer
15 years 11 months ago
2001
Springer
In this paper we propose a Neural Net-PMRS hybrid for forecasting time-series data. The neural network model uses the traditional MLP architecture and backpropagation method of tr...
184
Voted
INFOCOM
1997
IEEE
15 years 11 months ago
1997
IEEE
Several types of network trafic have been shown to exhibit long-range dependence (LRD). In this work, we show that the busy period of an ATM system driven by a long-range dependen...
182
click to vote
ICPADS
1996
IEEE
15 years 11 months ago
1996
IEEE
A new multiagent programmingparadigm based on the transactional logic model' is developed. This paradigm enables us to construct a Distributed agent transactional program (DA...
214
click to vote
CADE
1992
Springer
15 years 11 months ago
1992
Springer
Abstract. We exhibit a methodology for formulating and verifying metatheorems about deductive systems in the Elf language, an implementation of the LF Logical Framework with an ope...
207
click to vote
PARLE
1992
15 years 11 months ago
1992
Complex and data-intensive database queries mandate parallel processing strategies to achieve sufficiently short response times. In praxis, parallel database processing is mostly b...