79 search results - page 9 / 16 » Full Abstraction and the Context Lemma |
SG
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Most information visualisation methods are based on abstract visual representations without any concrete manifestation in the “real world”. However, a variety of abst...
FLOPS
2010
Springer
14 years 2 months ago
2010
Springer
MLF is a type system that seamlessly merges ML-style implicit but second-class polymorphism with System F explicit first-class polymorphism. We present xMLF, a Church-style versi...
ACII
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Working with emotion-related states in technological contexts requires a standard representation format. Based on that premise, the W3C Emotion Incubator group was create...
KI
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Markov logic, as a highly expressive representation formalism that essentially combines the semantics of probabilistic graphical models with the full power of first-orde...
HIPC
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. The proliferation of multiprocessor servers and multithreaded applications has increased the demand for high-performance synchronization. Traditional scheduler-based lock...