7681 search results - page 115 / 1537 » Typed Membrane Systems |
164
click to vote
MKM
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We have formalized material from an introductory real analysis textbook in the proof assistant Scunak. Scunak is a system based on set theory encoded in a dependent type ...
164
click to vote
ICTCS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Non-interference is a desirable property of systems in a multilevel security architecture, stating that confidential information is not disclosed in public output. The c...
147
click to vote
ESOP
1999
Springer
15 years 9 months ago
1999
Springer
We define an extension of the π-calculus with a static type system which supports high-level specifications of extended patterns of communication, such as client-server protocol...
162
click to vote
TFS
2008
2008
Type-2 Fuzzy Markov Random Fields and Their Application to Handwritten Chinese Character Recognition
15 years 5 months ago
In this paper, we integrate type-2 (T2) fuzzy sets with Markov random fields (MRFs) referred to as T2 FMRFs, which may handle both fuzziness and randomness in the structural patter...
157
click to vote
HASKELL
2006
ACM
15 years 11 months ago
2006
ACM
Modern functional languages offer several attractive features to support development of reliable and secure software. However, in our efforts to use Haskell for systems programmin...