1664 search results - page 270 / 333 » Towards Partial Reasoning |
147
click to vote
LPAR
2004
Springer
15 years 10 months ago
2004
Springer
The extended answer set semantics for simple logic programs, i.e. programs with only classical negation, allows for the defeat of rules to resolve contradictions. In addition, a pa...
159
click to vote
VL
2003
IEEE
15 years 9 months ago
2003
IEEE
Constraint diagrams are a visual notation designed to complement the Unified Modeling Language in the development of software systems. They generalize Venn diagrams and Euler cir...
140
click to vote
FSR
2003
Springer
15 years 9 months ago
2003
Springer
We describe a mobile robot system, designed to assist residents of an retirement facility. This system is being developed to respond to an aging population and a predicted shortage...
120
click to vote
DSN
2002
IEEE
15 years 9 months ago
2002
IEEE
We present ideas on how to structure software systems for high availability by considering MTTR/MTTF characteristics of components in addition to the traditional criteria, such as...
133
click to vote
ISSRE
2002
IEEE
15 years 9 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...