2291 search results - page 44 / 459 » Representational Reasoning and Verification |
INTERSPEECH
2010
13 years 3 months ago
2010
We present a new method for speaker verification that uses the diversity of information from multiple feature representations. The principle behind the method is that certain feat...
AAAI
2008
13 years 10 months ago
2008
We design a representation based on the situation calculus to facilitate development, maintenance and elaboration of very large taxonomies of actions. This representation leads to...
LPAR
2012
Springer
12 years 4 months ago
2012
Springer
We motivate and introduce a query language PrQL designed for inspecting machine representations of proofs. PrQL natively supports hiproofs which express proof structure using hiera...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
We present a new technique for verifying correspondences in security protocols. In particular, correspondences can be used to formalize authentication. Our technique is fully auto...
CADE
2008
Springer
14 years 9 months ago
2008
Springer
We present a tool for automatic generation of packed bitfields and tagged unions for systems-level C, along with automatic, machine checked refinement proofs in Isabelle/HOL. Our a...