2642 search results - page 6 / 529 » The development of Chez Scheme |
AML
2008
13 years 6 months ago
2008
Abstract. This paper develops the model theory of ordered structures that satisfy Keisler's regularity scheme, and its strengthening REF(L) (the reflection scheme) which is an...
LFP
1990
13 years 8 months ago
1990
This paper presents a module system designed for largescale programming in Scheme. The module system separates speci cations of objects from their implementations, permitting the ...
ESA
2004
Springer
13 years 11 months ago
2004
Springer
The ability to represent and query continuously moving objects is important in many applications of spatio-temporal database systems. In this paper we develop data structures for ...
ADHOC
2006
13 years 7 months ago
2006
Internet-based mobile ad hoc network (IMANETIMANET) is an emerging technique that combines a wired network (e.g. Internet) and a mobile ad hoc network (MANETMANET) for developing ...
CAD
2011
Springer
12 years 11 months ago
2011
Springer
Design using free-form developable surfaces plays an important role in manufacturing industry. Currently most commercial systems can only support converting free-form surfaces int...