2634 search results - page 181 / 527 » Faster Than Uppaal |
130
click to vote
IJCAI
1993
15 years 7 months ago
1993
This paper presents a major revision of the Either propositional theory re nement system. Two issues are discussed. First, we show howrun timee ciency can be greatlyimproved by ch...
169
click to vote
PPSC
1993
15 years 7 months ago
1993
Financial modeling represents a promising industry application of high performance computing. In previous work, parallel stock option pricing models were developed for the Connect...
151
click to vote
NIPS
1996
15 years 7 months ago
1996
Abstract. In this paper we investigate the feed-forward learning problem. The well-known ill-conditioning which is present in most feed-forward learning problems is shown to be the...
151
click to vote
USENIX
1996
15 years 7 months ago
1996
: This paper discussesthedesignandperformance of a hierarchical proxy-cache designed to make Internet information systems scale better. The design was motivated by our earlier trac...
156
click to vote
IJCAI
1989
15 years 7 months ago
1989
Despite the fact that many symbolic and connectionist (neural net) learning algorithms are addressing the same problem of learning from classified examples, very little Is known r...