Filters








142,349 Hits in 3.3 sec

The categorical abstract machine [chapter]

G. Cousineau, P-L. Curien, M. Mauny
1985 Lecture Notes in Computer Science  
The machine is called categorical abstract machine or CAM. The CAM is easier to grasp and prove than the SECD machine.  ...  The only saving mechanism is a stack containing pointers on code or on the graph. Abstractions are handled in the very same way as in P. Landin's SECD machine, using closures.  ...  The core of the categorical abstract machine Before going further, it is time to justify the attribute 'categorical*.  ... 
doi:10.1007/3-540-15975-4_29 fatcat:icnjiwex2bd6rckqejwo47jjbm

The categorical abstract machine

G. Cousineau, P.-L. Curien, M. Mauny
1987 Science of Computer Programming  
The machine is called categorical abstract machine or CAM. The CAM is easier to grasp and prove than the SECD machine.  ...  The only saving mechanism is a stack containing pointers on code or on the graph. Abstractions are handled in the very same way as in P. Landin's SECD machine, using closures.  ...  The core of the categorical abstract machine Before going further, it is time to justify the attribute 'categorical*.  ... 
doi:10.1016/0167-6423(87)90020-7 fatcat:hkajotn7s5e3jdeherd7drbu3q

Abstraction and categorization in smart machines based on granular computations

2017 Bulletin of the National Technical University "KhPI". A series of "Information and Modeling"   unpublished
С четвертой цифровой революцией (Industry 4.0) связывают массовое внедрение умных систем [1 -3]: умных городов, умных заводов, умных машин (Smart Machines, SMs) и интернета вещей.  ... 
fatcat:hel2nibg5jbp7m2clfztbfw22a

Using Failures and Category Theory to Verify Process Communications between Design and Implementation of Concurrent Systems

Ming Zhu, Peter Grogono, Olga Ormandjieva, Heng Kuang
2016 Procedia Computer Science  
However, it is challenging to verify the consistency of process communications between the design and the implementation.  ...  In this framework, we use Failures in Communicating Sequential Processes (CSP), Erasmus and Category Theory as the foundation. The framework is illustrated by using a running example.  ...  Categorizing Abstraction of Implementation: construct categorical models for the abstraction of implementation with preserving structures of communications, and (6) .  ... 
doi:10.1016/j.procs.2016.04.155 fatcat:chzo2ddgxfh6rag2v3evbhojuy

A back-end for GHC based on categorical multi-combinators

Ricardo Massa F. Lima, Rafael Dueire Lins, André L. M. Santos
2004 Proceedings of the 2004 ACM symposium on Applied computing - SAC '04  
µΓCMC is an abstract graph reduction machine for the implementation of lazy functional languages. Categorical multi-combinators served as a basis for the evaluation model of µΓCMC.  ...  This paper presents the implementation of a Haskell compiler, using the front-end of the Glasgow Haskell Compiler (GHC) and a new back-end based on the µΓCMC abstract machine.  ...  Categorical multi-combinators (CM-C) [21, 12] served as a basis for the evaluation model of the µΓCMC abstract machine.  ... 
doi:10.1145/967900.968196 dblp:conf/sac/LimaLS04 fatcat:uqxulepp4ffxxbjznu2gxa5dyy

Probabilistic Conceptual Network: A Belief Representation Scheme for Utility-Based Categorization [article]

Kim-Leng Poh, Michael R. Fehling
2013 arXiv   pre-print
The scheme is applied to an automated machining problem for reasoning about the state of the machine at varying levels of abstraction in support of actions for maintaining competitiveness of the plant.  ...  Probabilistic conceptual network is a knowledge representation scheme designed for reasoning about concepts and categorical abstractions in utility-based categorization.  ...  Acknowledgements We wish to thank Ross Shachter, Eric Horvitz and the anonymous referees for their helpful comments and suggestions on the content of this paper.  ... 
arXiv:1303.1474v1 fatcat:e6vlultginaotd4g5xklhdyl2i

Page 162 of University Computing : The Bulletin of the IUCC Vol. 9, Issue 3 [page]

1987 University Computing : The Bulletin of the IUCC  
Intriguingly, Curien does not use categorical combinators directly, instead he describes an abstract machine, the CAM, related to the SECD machine, which executes categorical combinator code.  ...  The book closes with a challenge to machine architects to design a computer suitable for implementing the sort of dynamically typed language which the adoption of abstraction suggests.  ... 

Concurrent abstract machines [chapter]

G Berry
1991 Lecture Notes in Computer Science  
The SECD machine, the Categorical Abstract Machine or the Krivine machine impl~ment lambda-calculi, etc. So far, the abstract machine approach has not been applied to concurrent computations.  ...  We present two concurrent abstract machines the Electrical Abstract Machine (ELAM) and the Chemical Abstract Machine (CHAaM).  ... 
doi:10.1007/3540539816_57 fatcat:ap67hfp5zvhnnbfft6g7st3hsa

Chi-square-based Scoring Function for Categorization of MEDLINE Citations

A. Kastrin, B. Peterlin, D. Hristovski
2010 Methods of Information in Medicine  
We evaluated the method by comparing it to three machine learning algorithms (support vector machines, decision trees, na\"ive Bayes).  ...  Conclusions: We suggest that the chi-square scoring is an effective solution to help categorize MEDLINE citations.  ...  This work was supported by the Slovenian Research Agency.  ... 
doi:10.3414/me09-01-0009 pmid:20091016 fatcat:a6p26umcjfafrpqykbo7ip36nu

Page 2267 of Mathematical Reviews Vol. , Issue 94d [page]

1994 Mathematical Reviews  
provided by the abstract machine.  ...  The first is Curien’s categorical abstract machine (the CAM), which provides an implementation based on call-by- value. The second is Mauny’s lazy version of the CAM employing call-by-name.  ... 

Categorization of sentence types in medical abstracts

Larry McKnight, Padmini Srinivasan
2003 AMIA Annual Symposium Proceedings  
This study evaluated the use of machine learning techniques in the classification of sentence type. 7253 structured abstracts and 204 unstructured abstracts of Randomized Controlled Trials from MedLINE  ...  Using the SVM model trained on structured abstracts to predict unstructured abstracts yielded performance similar to that of models trained with unstructured abstracts in 3 of the 4 types.  ...  The vast majority of the 362 labels were categorized into one of the 4 types and all sentences from the label to next label (or end of the abstract) were marked with that category.  ... 
pmid:14728211 pmcid:PMC1479904 fatcat:ujwtd46egncu3gqcujsjwiwcwu

Researching the Research: Applying Machine Learning Techniques to Dissertation Classification

Suzanna Schmeelk
2020 Journal of Computer Science Research  
We also compare the dissertation categorizations using IBM's Watson Discovery deep machine learning tool.  ...  Our research categorizes dissertation by both their abstracts and by their full-text using the Graplab Create library from Apple's Turi.  ...  This resulted in a different categorization of the dissertations than categorization of the abstracts alone.  ... 
doi:10.30564/jcsr.v2i4.2230 fatcat:k32zq26ozvhylkwb4nhvwkn73a

Machine semantics

Peter Hines
2008 Theoretical Computer Science  
Definition 1 (Abstract Machines, Configurations, the Primitive Evolution ).  ...  The abstract properties of the trace also give compositionality of these algebraic models for free, using the same categorical structures commonly used to model confluence in logical systems.  ...  Thanks are also due to Sam Braunstein, for many helpful discussions on physical justifications for properties of Abstract Machines, and to the York non-standard computation group for the many weird and  ... 
doi:10.1016/j.tcs.2008.07.015 fatcat:jj32vfu3jzho7efmnpehu3uigq

Virtual-Machine Abstraction and Optimization Techniques

Stefan Brunthaler
2009 Electronical Notes in Theoretical Computer Science  
Specifically virtual machines whose abstraction level is higher than that of the native machine they run on, have performance issues.  ...  Several common existing optimization techniques fail to deliver their full potential on such machines.  ...  Acknowledgement I want to thank Jens Knoop and Anton Ertl for their feedback and comments on earlier versions of this paper, which helped to clarify issues and to improve the  ... 
doi:10.1016/j.entcs.2009.11.011 fatcat:lmr2byze7bfntb4oguxyrdkdxa

Variance based classifier comparison in text catergorization (poster session)

Atsuhiro Takasu, Kenro Aihara
2000 Proceedings of the 23rd annual international ACM SIGIR conference on Research and development in information retrieval - SIGIR '00  
Yang conducted comprehensive study of comparison of text categorization and reported that k nearest neighbor and support vector machines works well for text categorization [4/.  ...  We used these 24 societies as classes and defined the class of an abstract as the society sponsoring the conference which the abstract is presented at. This data set consists of 327,880 abstracts.  ... 
doi:10.1145/345508.345618 dblp:conf/sigir/TakasuA00 fatcat:gaqwmdchmvdf7jx6uhod4bjhbm
« Previous Showing results 1 — 15 out of 142,349 results