1636 search results - page 83 / 328 » Reasoning About Quantum Systems |
137
click to vote
ICALT
2003
IEEE
15 years 11 months ago
2003
IEEE
In this contribution we present the dialogue generator module of a Dialogue-based Interactive Diagnostic and Learning System (DIDLS) for Historical Text Comprehension (HTC). The d...
166
click to vote
CLIMA
2010
15 years 7 months ago
2010
Simple type theory is suited as framework for combining classical and non-classical logics. This claim is based on the observation that various prominent logics, including (quantif...
165
click to vote
ENTCS
2008
15 years 6 months ago
2008
As an extension to Floyd-Hoare logic, separation logic has been used to facilitate reasoning about imperative programs manipulating shared mutable data structures. Recently, it ha...
166
click to vote
JSW
2008
15 years 6 months ago
2008
Increasing traffic density enforces development of Advanced Driver Assistance Systems to cope with safety aspects. Such systems require serious amount of sensor data to deduce spat...
286
click to vote
PLDI
2009
ACM
16 years 6 months ago
2009
ACM
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...