2043 search results - page 259 / 409 » Reasoning About Security Models |
118
Voted
ESAW
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Exceptions occur frequently in supply-chains. Consequently, detecting exceptions timely is of great practical value. To enable a timely detection of exceptions, this pape...
108
Voted
ECAI
2004
Springer
15 years 6 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...
106
Voted
ECAI
2004
Springer
15 years 6 months ago
2004
Springer
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...
106
Voted
ICCV
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper describes an approach to recovering surface models of complex scenes from the quasi-sparse data returned by a feature based stereo system. The method can be used to mer...
107
Voted
DALT
2009
Springer
15 years 5 months ago
2009
Springer
We continue the work initiated in [1–3], where the acceptance logic, a modal logic for modelling individual and collective acceptances was introduced. This logic is aimed at capt...