3824 search results - page 105 / 765 » Geometry Constructions Language |
ESOP
2001
Springer
14 years 3 months ago
2001
Springer
Abstract. Languages for intensional type analysis permit ad-hoc polymorphism, or run-time analysis of types. However, such languages require complex, specialized constructs to supp...
ENTCS
2008
13 years 10 months ago
2008
This paper describes an extension to Lustre to support the analysis of globally asynchronous, locally synchronous (GALS) architectures. This extension consists of constructs for d...
MPC
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. Erasure of information incurs an increase in entropy and dissipates heat. Therefore, information-preserving computation is essential for constructing computers that use e...
ROOM
2000
13 years 12 months ago
2000
We describe a language which can be used to model business processes (both technical and nontechnical). It has a formal semantics, so as to enable formal analysis and prediction o...
NLPRS
2001
Springer
14 years 3 months ago
2001
Springer
Linguistic knowledge plays a crucial role in natural language processing. Constructing large linguistic knowledge bases requires a lot of human effort and much cost. There have b...