Filters








13 Hits in 2.2 sec

A situated classification solution of a resource allocation task represented in a visual language

Brian R. Gaines
1994 International Journal of Human-Computer Studies  
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

Giuseppe Attardi
1994 Proceedings of the fourth international conference on Lisp users and vendors - LUV '94  
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

Giuseppe Attardi
1995 ACM SIGPLAN Lisp Pointers  
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

Giuseppe Attardi
1995 ACM SIGPLAN Lisp Pointers  
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

Guiseppe Attardi
1995 Papers of the fourth international conference on LISP users and vendors - LUV '94  
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

W.F. Wong
1999 Computer languages  
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]

Thanwadee Thanitsukkarn, Anthony Finkelstein
1999 Lecture Notes in Computer Science  
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

C. Troncoso, G. Danezis, E. Kosta, J. Balasch, B. Preneel
2011 IEEE Transactions on Dependable and Secure Computing  
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

Carmela Troncoso, George Danezis, Eleni Kosta, Bart Preneel
2007 Proceedings of the 2007 ACM workshop on Privacy in electronic society - WPES '07  
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]

Guy L. Steele, Richard P. Gabriel
History of programming languages---II  
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

Monica De Martino, Consiglio Nazionale Delle Ricerche -Genova, Claus-Peter Rückemann, Monica De Martino, Consiglio Nazionale Delle Ricerche -Genova, Claus-Peter Rückemann, German Supercomputing, Yerach Doytsher
2015 unpublished
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

Monica De Martino, Consiglio Nazionale Delle Ricerche -Genova, Claus-Peter Rückemann, Yerach Doytsher, Monica De Martino, Consiglio Nazionale Delle Ricerche -Genova, Claus-Peter Rückemann, Yerach Doytsher
2014 unpublished
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

Monica De Martino, Consiglio Nazionale Delle Ricerche -Genova, Claus-Peter Rückemann, Monica De Martino, Consiglio Nazionale Delle Ricerche -Genova, Claus-Peter Rückemann, Riccardo Albertoni, Consiglio Nazionale Delle Ricerche -Genova, Italy Thierry Badard, Université Laval -Québec, Canada Bakalov, Fabian Barbato (+47 others)
2012 unpublished
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