171 search results - page 29 / 35 » CoSP: a general framework for computational soundness proofs |
177
click to vote
SIGIR
2005
ACM
15 years 11 months ago
2005
ACM
We demonstrate a phonotactic-semantic paradigm for spoken document categorization. In this framework, we define a set of acoustic words instead of lexical words to represent acous...
149
click to vote
FOSSACS
2005
Springer
15 years 11 months ago
2005
Springer
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X. The propositi...
174
click to vote
ACMIDC
2010
15 years 10 months ago
2010
The purpose of our research is to support cognitive, motor, and emotional development of severely disabled children in the school context. We designed and implemented a set of nov...
159
click to vote
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
A three-year study collected information bearing on the question of whether studying mathematics improves programming skills. An analysis of the data revealed significant differen...
191
click to vote
LICS
2007
IEEE
16 years 9 days ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...