1818 search results - page 171 / 364 » Granularity-Adaptive Proof Presentation |
129
Voted
TCS
2010
15 years 1 months ago
2010
We present some decidability and undecidability results for subsets of the BlenX Language, a process-calculi-based programming language developed for modelling biological processe...
152
Voted
IMCSIT
2010
15 years 1 months ago
2010
In the present text, we deal with the problem of classification of speech emotion. Problems of speech processing are addressed through the use of artificial neural networks (ANN). ...
153
Voted
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
We present an explicitly typed lambda calculus "`a la Church" based on the union and intersection types discipline; this system is the counterpart of the standard type a...
157
Voted
CANS
2009
Springer
15 years 1 months ago
2009
Springer
Group signatures allow users to anonymously sign messages in the name of a group. Membership revocation has always been a critical issue in such systems. In 2004, Boneh and Shacham...
147
Voted
IC3
2009
15 years 1 months ago
2009
Abstract. This paper presents liveness properties that need to be preserved by Event-B models of distributed systems. Event-B is a formal technique for development of models of dis...