Sciweavers

4745 search results - page 775 / 949
» Discretization: An Enabling Technique
Sort
View
WSC
1998
15 years 8 months ago
Timed Petri Nets as a Verification Tool
This paper presents Timed Petri Nets (TPN) as an analytical approach for verification of computerized queueing network simulation models at steady state. It introduces a generic a...
Miryam Barad
IM
1997
15 years 8 months ago
Active Objects in TMN
Telecommunications Management Network (TMN) systems use the object-oriented information modelling techniques and communication facilities provided by OSI Systems Management (SM). ...
Anastasia Vassila, George Pavlou, Graham Knight
RIAO
1997
15 years 8 months ago
An Analysis of Statistical and Syntactic Phrases
As the amount of textual information available through the World Wide Web grows, there is a growing need for high-precision IR systems that enable a user to nd useful information ...
Mandar Mitra, Chris Buckley, Amit Singhal, Claire ...
WSC
1997
15 years 8 months ago
Applications of the Universal Joint Task List to Joint Exercise Results
The foundation of readiness is training. The Chairman, Joint Chiefs of Staff (CJCS) Joint Training Program institutes methods for identifying training requirements through review ...
Sam H. Parry, Michael C. McAneny, Richard J. Drome...
AAAI
1996
15 years 8 months ago
The SIGNAL Expert System
The SIGNAL insurance companies have developed an expert system for the support of its customer sales service. It was introduced at the end of 1993 and is currently used by approxi...
Rolf Struve