1750 search results - page 188 / 350 » Formal multiple-bernoulli models for language modeling |
113
click to vote
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
Action formalisms like the fluent calculus have been developed to endow logic-based agents with the abilities to reason about the effects of actions, to execute high-level strateg...
133
click to vote
FLAIRS
2008
15 years 4 months ago
2008
One of the central problems in building broad-coverage story understanding systems is generating expectations about event sequences, i.e. predicting what happens next given some a...
94
Voted
WWW
2001
ACM
16 years 2 months ago
2001
ACM
This paper presents the XML/XSL approach to the development of a web environment for the formal speci cation language Object-Z. The projection techniques and tools from Object-Z (...
123
Voted
AIMSA
2008
Springer
15 years 8 months ago
2008
Springer
Since its formalization RBAC has become the yardstick for the evaluation of access control formalisms. In order to meet organizational needs, it has been extended along several di...
108
Voted
SEFM
2007
IEEE
15 years 8 months ago
2007
IEEE
The Mondex Case study is still the most substantial contribution to the Grand Challenge repository. It has been the target of a number of formal verification efforts. Those effor...