Filters








2,062,809 Hits in 5.0 sec

Conversion of programs between computers: Interpreters, simulators and compilers

D. Nudds
1973 Journal of computer and system sciences (Print)  
Ord-Smith, Director of the Computing Laboratory at the University of Bradford for valuable comments.  ...  Further comments and criticisms from the referee of this paper have been of great help in making it more error-free and readable.  ...  Where the language presented to the interpreter is the machine language of another computer, he further describes this as a simulator.  ... 
doi:10.1016/s0022-0000(73)80037-6 fatcat:uorjwxh4mzcb5hrkrj5qigll3u

From Interpreter to Logic Engine by Defunctionalization [chapter]

Dariusz Biernacki, Olivier Danvy
2004 Lecture Notes in Computer Science  
Additionally, we present a direct-style interpreter of propositional Prolog expressed with control operators for delimited continuations.  ...  Starting from a continuation-based interpreter for a simple logic programming language, propositional Prolog with cut, we derive the corresponding logic engine in the form of an abstract machine.  ...  This work is supported by the ESPRIT Working Group APPSEM II (http://www.appsem.org) and by the Danish Natural Science Research Council, Grant no. 21-03-0545.  ... 
doi:10.1007/978-3-540-25938-1_13 fatcat:bozadqotlzhghms3ufjadrodoe

From Interpreter to Logic Engine by Defunctionalization

Dariusz Biernacki, Olivier Danvy
2004 BRICS Report Series  
Additionally, we present a direct-style interpreter of propositional Prolog expressed with control operators for delimited continuations.  ...  Starting from a continuation-based interpreter for a simple logic programming language, propositional Prolog with cut, we derive the corresponding logic engine in the form of an abstract machine.  ...  This work is supported by the ESPRIT Working Group APPSEM II (http://www. appsem.org) and by the Danish Natural Science Research Council, Grant no. 21-03-0545.  ... 
doi:10.7146/brics.v11i5.21830 fatcat:qyrqxly2dncbrkwliamws3mesi

A NEW METHOD FOR INTERPRETATION OF AEROMAGNETIC MAPS: PSEUDO‐GRAVIMETRIC ANOMALIES

V. Baranov
1957 Geophysics  
The only assump- -> tion that we shall make is to suppose that the direction of 3 is the same in all mag- INTERPRETATION OF AEROMAGNETIC MAPS 361 netized masses.  ...  T(p, w) is an experimental function known INTERPRETATION OF AEROMAGNETIC MAPS at six canonical points on the circle of fixed radius p.  ... 
doi:10.1190/1.1438369 fatcat:tt637e7nx5dbrfgih56a2gqblq

Principles of Inverse Computation and the Universal Resolving Algorithm [chapter]

Sergei Abramov, Robert Glück
2002 Lecture Notes in Computer Science  
We explain the idea of a semantics modifier for inverse computation which allows us to perform inverse computation in other programming languages via interpreters. On leave from DIKU,  ...  We survey fundamental concepts in inverse programming and present the Universal Resolving Algorithm (URA), an algorithm for inverse computation in a first-order, functional programming language.  ...  Acknowledgements The authors thank the reviewers for thorough and careful reading of the submitted paper and for providing many helpful comments.  ... 
doi:10.1007/3-540-36377-7_13 fatcat:75bwzlgv5bhivdzqbhahukzrui

From Interpreter to Logic Engine by Defunctionalization

Dariusz Biernacki, Olivier Danvy
2003 BRICS Report Series  
Additionally, we present a direct-style interpreter of propositional Prolog expressed with control operators for delimited continuations.<br /><br />Superseded by BRICS-RS-04-5.  ...  Starting from a continuation-based interpreter for a simple logic programming language, propositional Prolog with cut, we derive the corresponding logic engine in the form of an abstract machine.  ...  This work is supported by the ESPRIT Working Group APPSEM II (http://www.appsem.org) and by the Danish Natural Science Research Council, Grant no. 21-03-0545.  ... 
doi:10.7146/brics.v10i25.21954 fatcat:mmeqvg54zjbnjpnb4ou3ahtwqi

WISION- Wireless Interface System for Interpretation of Ocular Symbols from People with Neuromuscular Diseases

Maneesha V. Ramesh, Aswathy Asok Nair, K. A. Unnikrishna Menon
2011 2011 7th International Conference on Wireless Communications, Networking and Mobile Computing  
The typical approach is to modify the end devices to interpret these signals and to function accordingly [2-5].  ...  This paper proposes the design of a system that enables the severely disabled to communicate using their EOG, EMG and EEG signals.  ...  Hardware modules of Interpreter Computer Interfaces The Interpreter interfaces with the computer via USB or Bluetooth module to work in mouse/keyboard mode.  ... 
doi:10.1109/wicom.2011.6040615 fatcat:yv6vbctgljcvdezvrslnrvqwau

Interpreting the performance of HPF/Fortran 90D

Manish Parashar, Salim Hariri, Tomasz Haupt, Geoffrey C. Fox
1994 Supercomputing, Proceedings  
In this paper we present a novel interpretive approach for accurate and cost-e ective performance prediction in a high performance computing environment, and describe the design of a source-driven HPF/  ...  The use of the framework for selecting appropriate compiler directives and for application performance debugging is demonstrated.  ...  The content of the information does not necessary reect the position or the policy of the sponsors and no o cial endorsement should be inferred.  ... 
doi:10.1145/602770.602891 fatcat:ewu64mitmberpog5bhxw55z37y

Toward a parsimonious architecture for intelligent organizational information systems

R.P. Minch
1992 Proceedings of the Twenty-Fifth Hawaii International Conference on System Sciences  
Processing occurs on a set of communicating processors with access to memory, and is dej?ned as having three sub-functions: sensing, interpreting, and acting.  ...  The communicating and memory functions are seen to have certain basic characteristics whether described in t e r n from human organization or computer organization literature.  ...  "Beyond Prediction and Preparation," Journal of Management Studies, Vol. 20, No. 1,  ... 
doi:10.1109/hicss.1992.183385 fatcat:qfnvtu6ul5afrhftma4uulgtaq

Polyphony and argumentative semantics

Jean-Michel Grandchamp
1995 Proceedings of the 33rd annual meeting on Association for Computational Linguistics -  
We found the argumentative interpretation of utterances on a semantics defined at the linguistic level.  ...  We describe the computation of this particular semantics, based on the constraints that the superstructure impels to the argumentative power of terminal subsentences.  ...  Remaining difficulties lay in the linguistic theories themselves (mainly combining modifiers and cataloguing topoi), the signification of TSS's (which should be compositional) and the integration of argumentative  ... 
doi:10.3115/981658.981704 dblp:conf/acl/Grandchamp95 fatcat:ehu7jyltffblph64hebap2wfcq

Foreword

B. Krieg-Brückner
1994 Science of Computer Programming  
Seven of these were selected for publication in Science of Computer Programming and have been thoroughly revised after an additional reviewing process.  ...  Seventy-one papers were submitted, out of which twenty-six papers were selected by the programme committee for publication in the conference proceedings.  ...  to direct style as an inverse of the other.  ... 
doi:10.1016/0167-6423(94)00002-6 fatcat:vhnn6hd2u5h73jmx46f73gg7cm

Concurrent 3-D motion segmentation and 3-D interpretation of temporal sequences of monocular images

H. Sekkati, A. Mitiche
2006 IEEE Transactions on Image Processing  
The method is direct insomuch as it does not require prior computation of image motion. It allows movement of both viewing system and multiple independently moving objects.  ...  The third and last term is for the regularity of segmentation boundaries. Minimization of the functional follows the corresponding Euler-Lagrange equations.  ...  In [22] , a variational method was considered, also for direct, dense 3-D interpretation, based on the minimization of a functional with two characteristic terms, one of conformity of the interpretation  ... 
doi:10.1109/tip.2005.863699 pmid:16519351 fatcat:nwg34evr7vgvdkekfsjjx6bkiy

Reconstruction of relief objects from line drawings

Michael Kolomenkin, George Leifman, Ilan Shimshoni, Ayellet Tal
2011 CVPR 2011  
Rather than viewing the interdependencies as a problem, we show how they can be exploited to automatically generate a good initial interpretation of the line drawing.  ...  The strength of our approach is demonstrated in the reconstruction of archaeological artifacts from drawings.  ...  This research was supported in part by the Israel Science Foundation (ISF) 628/08, Olendorff foundation, the joint Technion University of Haifa research foundation, and the Goldbers fund for electronics  ... 
doi:10.1109/cvpr.2011.5995643 dblp:conf/cvpr/KolomenkinLST11 fatcat:srj37v6mx5hmxac4crwkoo4efi

Mixing DEA and FDH models together

H Leleu
2009 Journal of the Operational Research Society  
Proposition 1 The directional distance function for DEA technology can be computed by the following pair of primal/dual linear programs: Enea-p-rTs(Xh.  ...  In the spirit of a directional distance function, it will be more natural to assign the same direction to all the evaluated DMUs.  ... 
doi:10.1057/jors.2008.142 fatcat:3wxafjbblzemhffrdnsyg6gvau

A Bayesian model for estimating observer translation and rotation from optic flow and extra-retinal input

J. A. Saunders, D. C. Niehorster
2010 Journal of Vision  
The model can simulate human heading perception across a range of conditions, including: translation with simulated vs. actual eye rotations, environments with various depth structures, and the presence  ...  of independently moving objects.  ...  Acknowledgments This research was supported by a grant from the Hong Kong Research Grants Council (HKU 750209H). We thank two anonymous reviewers for their helpful comments and suggestions.  ... 
doi:10.1167/10.10.7 pmid:20884472 fatcat:emp7bdvogfbxdl372j6auiyw6e
« Previous Showing results 1 — 15 out of 2,062,809 results