2687 search results - page 378 / 538 » Formal Analysis of PKCS |
171
click to vote
AAAI
1994
15 years 7 months ago
1994
Predicting the behavior of physical systems is essential to both common sense and engineering tasks. It is made especially challenging by the lack of complete precise knowledge of...
164
click to vote
AIPS
1996
15 years 7 months ago
1996
An increasing number of planners can handle uncertainty in the domain or in action outcomes. However, less work has addressed building plans when the planner's world can chan...
167
click to vote
ANLP
1994
15 years 7 months ago
1994
This paper presents Delphi, the natural language component of the BBN Spoken Language System. Delphi is a domainindependent natural language question answering system that is soli...
133
click to vote
COLING
1996
15 years 7 months ago
1996
2 Focus theory Pulman has shown that Higher-Order Unifcation (HOU) can be used to model the interpretation of focus. In this paper, we extend the unification based approach to case...
202
click to vote
MASCOTS
1996
15 years 7 months ago
1996
Formalisms based on stochastic Petri Nets (SPNs) can employ structural analysis to ensure that the underlying stochastic process is fully determined. The focus is on the detection...