A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
A situated classification solution of a resource allocation task represented in a visual language
1994
International Journal of Human-Computer Studies
Preserved Fulltext
The Sisyphus room allocation problem solving example has been solved using a situated classification approach. ...
The user interface has been designed to provide support for human intervention in under-determined and overdetermined situations, allowing advantage to be taken of the additional choices available in the ...
This is a situated action (Suchman, 1987; Clancey, 1993) type of approach in which decisions are made as reactions to the current situation. ...
doi:10.1006/ijhc.1994.1012
fatcat:2to6zckgdrfyfg7guodoavanim
The Embeddable Common Lisp
1994
Proceedings of the fourth international conference on Lisp users and vendors - LUV '94
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
ECL uses standard C calling conventions for Lisp compiled functions, which allows C programs to easily call Lisp functions and viceversa. ...
ECL is based on a Common Runtime Support (CRS) which provides basic facilities for memory management, dynamic loading and dumping of binary images, support for multiple threads of execution. ...
Our embeddable Lisp implementation is useful for those who want to build Lisp packages to be incorporated into other non Lisp applications. ...
doi:10.1145/1040031.224142
fatcat:2mhn7e7ygfg7jjub6jcmjazg4e
The Embeddable Common Lisp
1995
ACM SIGPLAN Lisp Pointers
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
ECL uses standard C calling conventions for Lisp compiled functions, which allows C programs to easily call Lisp functions and viceversa. ...
ECL is based on a Common Runtime Support (CRS) which provides basic facilities for memory management, dynamic loading and dumping of binary images, support for multiple threads of execution. ...
Our embeddable Lisp implementation is useful for those who want to build Lisp packages to be incorporated into other non Lisp applications. ...
doi:10.1145/224139.224142
fatcat:fkgpqkz5avf5fp4xaf4utyrwpa
The Embeddable Common Lisp
1995
ACM SIGPLAN Lisp Pointers
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
ECL uses standard C calling conventions for Lisp compiled functions, which allows C programs to easily call Lisp functions and viceversa. ...
ECL is based on a Common Runtime Support (CRS) which provides basic facilities for memory management, dynamic loading and dumping of binary images, support for multiple threads of execution. ...
Our embeddable Lisp implementation is useful for those who want to build Lisp packages to be incorporated into other non Lisp applications. ...
doi:10.1145/224138.224142
fatcat:u6kwzbhfonfkhp34pwjmig7jeq
The embeddable Common Lisp
1995
Papers of the fourth international conference on LISP users and vendors - LUV '94
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
ECL uses standard C calling conventions for Lisp compiled functions, which allows C programs to easily call Lisp functions and viceversa. ...
ECL is based on a Common Runtime Support (CRS) which provides basic facilities for memory management, dynamic loading and dumping of binary images, support for multiple threads of execution. ...
Our embeddable Lisp implementation is useful for those who want to build Lisp packages to be incorporated into other non Lisp applications. ...
doi:10.1145/224139.1379849
fatcat:balh3pjjtnba5oanoqmr3g4onm
Optimizing floating point operations in Scheme
1999
Computer languages
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
This has prompted research i n to the use of type inference in the compilation of Lisp programs 2]. The basic strategy is based on the following approach: ...
In this paper we shall examine a sub-problem, namely using type inference to aid compilation of numerical intensive L i s p c o d e . ...
Acknowledgement I w ould like to thank Siau-Cheng Khoo for his detail reading and critique of this paper. ...
doi:10.1016/s0096-0551(99)00007-7
fatcat:lftfm6dva5ckvjkaisqyzl3rru
Multiperspective Analysis of the Sisyphus-I Room Allocation Task Modelled in a CG Meta-Representation Language
[chapter]
1999
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The established notations and operations of CGs provide a strong foundation for this purpose. ...
This paper presents the applicability of ViewPoints together with a CG meta-representation language for the knowledge acquisition activities of the Sisyphus-I room allocation task. ...
We introduce a pre-defined concept type Proposition to emphasize the context of an individual CG in a consistency rule. Such a type is specified for implementation purposes in our tool. ...
doi:10.1007/3-540-48659-3_18
fatcat:hfw3ftboqzc75naxho5ptuzfka
PriPAYD: Privacy-Friendly Pay-As-You-Drive Insurance
2011
IEEE Transactions on Dependable and Secure Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
However, their current implementations, in which fine-grained location data are sent to insurers, entail a serious privacy risk. ...
We present PriPAYD, a system where the premium calculations are performed locally in the vehicle, and only aggregated data are sent to the insurance company, without leaking location information. ...
for a contract to be fair). ...
doi:10.1109/tdsc.2010.71
fatcat:33eet6k3sjbhho6cxwp6cq3tbm
Pripayd
2007
Proceedings of the 2007 ACM workshop on Privacy in electronic society - WPES '07
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
However, their current implementations, in which fine-grained location data are sent to insurers, entail a serious privacy risk. ...
We present PriPAYD, a system where the premium calculations are performed locally in the vehicle, and only aggregated data are sent to the insurance company, without leaking location information. ...
for a contract to be fair). ...
doi:10.1145/1314333.1314353
dblp:conf/wpes/TroncosoDKP07
fatcat:uwhm5mtru5fcpoyw3u4yitfbsm
The evolution of Lisp
[chapter]
History of programming languages---II
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
There will be two tracks for Scheme: IEEE standard and informal R n Reports. • Scheme, hygienic macros appear to make it into the R n Scheme. • In 1990, the EuLisp group produces a draft of EuLisp. ...
EuLisp is the European response to Common Lisp, developed as the lingua franca for Lisp in Europe. ...
Add full lexically scoped functional closures to the language. Without source code for the compiler or interpreter, all three projects require one practically to start over from scratch. ...
doi:10.1145/234286.1057818
fatcat:cmc3vyusfvcstfqzfce65k7sxq
GEOProcessing 2015 Forward GEOProcessing 2015 COMMITTEE GEOProcessing Advisory Chairs
2015
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
We are grateful to the members of the GEOProcessing 2015 organizing committee for their help in handling the logistics and for their work to make this professional meeting a success. ...
Such systems can be used for assessment, modeling and prognosis of emergencies GEOProcessing 2015 provided a forum where researchers were able to present recent research results and new research problems ...
change impacts and adaptation -for the Model Region of Dresden' (ZENON; sCENarios ONline), a research project funded by the Leibniz Institute of Ecological Urban and Regional Development (IOER), Dresden ...
fatcat:ytw4i7f2qrdljozmbkojgs5un4
GEOProcessing 2014 COMMITTEE GEOProcessing Advisory Chairs
2014
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
We are grateful to the members of the GEOProcessing 2014 organizing committee for their help in handling the logistics and for their work to make this professional meeting a success. ...
We hope that GEOProcessing 2014 was a successful international forum for the exchange of ideas and results between academia and industry and for the promotion of progress in the areas of geographic information ...
, as well as to the participants of the EULISP Programme for prolific discussion of scientific, legal, and technical aspects over the last years. ...
fatcat:bxmr7y2xyfbrhd4uaqrdx3hlp4
GEOProcessing 2012 Forward GEOProcessing 2012 Committee GEOProcessing 2012 Advisory Chairs GEOProcessing 2012 Technical Program Committee
2012
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
We are grateful to the members of the GEOProcessing 2012 organizing committee for their help in handling the logistics and for their work to make this professional meeting a success. ...
Such systems can be used for assessment, modeling and prognosis of emergencies GEOProcessing 2012 provided a forum where researchers were able to present recent research results and new research problems ...
The research team thanks Charlotte Pierson, student at the University of Liège, and Véronique Wallemacq, researcher, for their contributions to this paper. This is a multidisciplinar project. ...
fatcat:4t6dzm6r4bhshnwyiuohnopige