527 search results - page 49 / 106 » Towards a Natural Way of Reasoning |
CSL
2009
Springer
15 years 4 months ago
2009
Springer
Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level language...
LOPSTR
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. A concept of annotations for rendering procedural aspects of Prolog is presented, built around wellknown procedural concepts of Standard Prolog. Annotations describe prop...
CSL
2007
Springer
14 years 9 months ago
2007
Springer
This study is aimed at investigating whether automatic phonetic transcription procedures can approximate manual transcriptions typically delivered with contemporary large speech c...
FLAIRS
2006
14 years 11 months ago
2006
We introduce the particular functionality of the Complaint Engine suite, the integrated complaint management component for mediating consumer disputes. We formulate the problem of...
UC
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Membrane computing is a branch of molecular computing that aims to develop models and paradigms that are biologically motivated. It identifies an unconventional computin...