16616 search results - page 355 / 3324 » Extending Extended Vacuity |
192
Voted
ICLP
2003
Springer
16 years 22 days ago
2003
Springer
Abstract. We extend Clark’s definition of a completed program and the definition of a loop formula due to Lin and Zhao to disjunctive logic programs. Our main result, generaliz...
181
Voted
LICS
2002
IEEE
16 years 13 days ago
2002
IEEE
In joint work with Peter O’Hearn and others, based on early ideas of Burstall, we have developed an extension of Hoare logic that permits reasoning about low-level imperative pr...
193
click to vote
PAAMS
2010
Springer
16 years 9 days ago
2010
Springer
Applications that operate in highly dynamic environments must deal with real-time changes of circumstances in order to be consistent and coherent. In this work, we propose an exten...
202
Voted
ESOP
2001
Springer
16 years 12 hour ago
2001
Springer
Equality constraints (unification constraints) have widespread use in program analysis, most notably in static polymorphic type systems. Conditional equality constraints extend eq...
194
Voted
IJCNN
2000
IEEE
15 years 12 months ago
2000
IEEE
Recurrent neural networks fail to deal with prediction tasks which do not satisfy the causality assumption. We propose to exploit bi-causality to extend the Recurrent Cascade Corr...