7778 search results - page 1334 / 1556 » Designing Controllers for Reachability |
126
Voted
WSC
1997
15 years 5 months ago
1997
The value of modeling and simulating business processes has recently received increased attention with the interest in business process re-engineering (BPR). Many re-engineering p...
191
click to vote
AAAI
1993
15 years 5 months ago
1993
This paper describes a method for the development of dialogue managers for natural language interfaces. A dialogue manager is presented designed on the basis of both a theoretical...
135
click to vote
AAAI
1996
15 years 5 months ago
1996
The NASA Personnel Security Processing Expert System is a tool that automatically determines the appropriate personnel background investigation required for a civil servant or con...
116
click to vote
CASCON
1996
15 years 5 months ago
1996
Developing and managing applications for environments consisting of independently con gured computing systems interoperating acrossnetwork connections is of considerable interest ...
123
click to vote
FORTE
1994
15 years 5 months ago
1994
The record of successful applications of formal verification techniques is slowly growing. Our ultimate aim, however, is not to perform small pilot projects that show that verific...