1190 search results - page 28 / 238 » A type and effect system for atomicity |
EMNLP
2010
13 years 5 months ago
2010
Part-of-speech (POS) tag distributions are known to exhibit sparsity -- a word is likely to take a single predominant tag in a corpus. Recent research has demonstrated that incorp...
INTERACT
2003
13 years 8 months ago
2003
: This paper presents results from work we have done into the combination of visual and vibrotactile cues for improving user interaction in virtual environments. Using a custom-des...
POPL
2006
ACM
14 years 7 months ago
2006
ACM
Traditional static type systems are very effective for verifying basic interface specifications, but are somewhat limited in the kinds specificationsthey support. Dynamically-chec...
FMOODS
2007
13 years 8 months ago
2007
Abstract. A session type is an abstraction of a sequence of heterogeneous values sent over one channel between two communicating processes. Session types have been introduced to gu...
ASIAN
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. A type-theoretic framework for formal reasoning with different logical foundations is introduced and studied. With logic-enriched type theories formulated in a logical fr...