1914 search results - page 177 / 383 » Abstract lambda-Calculus Machines |
VL
1998
IEEE
14 years 13 days ago
1998
IEEE
We introduce visual graphs as an intermediate repren between concrete visual syntax and abstract graph syntax. In a visual graph some nodes are shown as geometric figures, and som...
HPDC
1993
IEEE
14 years 10 days ago
1993
IEEE
Building the hardware for a high-performance distributed computer system is a lot easier than building its software. In this paper we describe a model for programtributed systems ...
ICALP
1994
Springer
14 years 9 days ago
1994
Springer
Abstract. In this paper we de ne a precise notion of abstraction relation between continuous dynamical systems and discrete state-transition systems. Our main result states that ev...
ASWC
2006
Springer
13 years 12 months ago
2006
Springer
Abstract. Semantics shows diversity in real world, document world, mental abstraction world and machine world. Transformation between semantics pursues the uniformity in the divers...
AAAI
2007
13 years 10 months ago
2007
We present a novel approach to recognizing Textual nt. Structural features are constructed from abstract tree descriptions, which are automatically extracted from syntactic depend...