4595 search results - page 732 / 919 » Reasoning about Plans |
ISSRE
2002
IEEE
14 years 3 months ago
2002
IEEE
Software Fault Tree Analysis (SFTA) provides a structured way to reason about the safety or reliability of a software system. As such, SFTA is widely used in missioncritical appli...
IWPC
2002
IEEE
14 years 3 months ago
2002
IEEE
Studying how a software system has evolved over time is difficult, time consuming, and costly; existing techniques are often limited in their applicability, are hard to extend, a...
ECCV
2010
Springer
14 years 2 months ago
2010
Springer
Since most current scene understanding approaches operate
either on the 2D image or using a surface-based representation, they do
not allow reasoning about the physical constrain...
ICAIL
2009
ACM
14 years 2 months ago
2009
ACM
An overwhelming number of legal documents is available in digital form. However, most of the texts are usually only provided in a semi-structured form, i.e. the documents are stru...
GPCE
2009
Springer
14 years 2 months ago
2009
Springer
This paper describes a language and framework that allow coordinated transformations driven by invariants to be specified declaratively, as invariant rules, and applied automatic...