7529 search results - page 102 / 1506 » The Modula-3 Type System |
134
click to vote
ESOP
1999
Springer
15 years 8 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...
135
click to vote
TFS
2008
2008
Type-2 Fuzzy Markov Random Fields and Their Application to Handwritten Chinese Character Recognition
15 years 4 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...
134
click to vote
COLING
2010
14 years 11 months ago
2010
Automated identification of diverse sentiment types can be beneficial for many NLP systems such as review summarization and public media analysis. In some of these systems there i...
139
click to vote
HASKELL
2006
ACM
15 years 10 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...
143
click to vote
TLDI
2003
ACM
15 years 9 months ago
2003
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic interactions between threads. Previous work has addresse...