3333 search results - page 270 / 667 » Abstract Proof Search |
173
click to vote
ITRUST
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Question answering systems users may find answers without any supporting information insufficient for determining trust levels. Once those question answering systems beg...
155
click to vote
IFM
2004
Springer
16 years 4 hour ago
2004
Springer
Recent work on combining CSP and B has provided ways of describing systems comprised of components described in both B (to express requirements on state) and CSP (to express intera...
176
click to vote
CAV
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. The theme of this paper is certifying software for state estimation of dynamic systems, which is an important problem found in spacecraft, aircraft, geophysical, and in m...
189
click to vote
EUROCRYPT
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Recently, methods from provable security, that had been developped for the last twenty years within the research community, have been extensively used to support emerging...
185
click to vote
ICTCS
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Given two proofs in a logical system with a confluent cutelimination procedure, the cut-elimination problem (CEP) is to decide whether these proofs reduce to the same no...