Sciweavers

5451 search results - page 847 / 1091
» On very high degrees
Sort
View
WSC
1997
15 years 8 months ago
Modeling a 10 Gbit/s/Port Shared Memory ATM Switch
The speed of optical transmission links is growing at a rate which is difficult for the micro-electronic technology of ATM switches to follow. In order to cover the transmission r...
Tawfik Lazraq, Jakob Brundin, Per Andersson, &Arin...
AAAI
1996
15 years 8 months ago
Computing Optimal Policies for Partially Observable Decision Processes Using Compact Representations
: Partially-observable Markov decision processes provide a very general model for decision-theoretic planning problems, allowing the trade-offs between various courses of actions t...
Craig Boutilier, David Poole
AAAI
1996
15 years 8 months ago
The ContactFinder Agent: Answering Bulletin Board Questions with Referrals
ContactFinder is an intelligent agent whose approach to assisting users is valuable and innovative in the following four ways. First, ContactFinder operates proactively in reading...
Bruce Krulwich, Chad Burkey
DIMACS
1996
15 years 8 months ago
Model Checking and the Mu-calculus
There is a growing recognition of the need to apply formal mathematical methods in the design of \high con dence" computing systems. Such systems operate in safety critical co...
E. Allen Emerson
APVIS
2009
15 years 7 months ago
Interactive feature extraction and tracking by utilizing region coherency
The ability to extract and follow time-varying flow features in volume data generated from large-scale numerical simulations enables scientists to effectively see and validate mod...
Chris Muelder, Kwan-Liu Ma