860 Hits in 8.5 sec

Experiences with the RAP system — a specification interpreter combining term rewriting and resolution [chapter]

Alfons Geser, Heinrich Hussman
1986 Lecture Notes in Computer Science  
This paper summarizes our experience gained using the RAP system, an interpreter for algebraic specifications which combines term rewriting and resolution techniques.  ...  A short description of the system is given and some points are worked out which may be of general interest for future development of similar systems: termination criteria, efficiency and search strategies  ...  Lenqauer for his inspiring lectures in Passau, and him and M. Wirsing for many fruitful discussions.  ... 
doi:10.1007/3-540-16442-1_26 fatcat:ssoe5pne3fbn7mixvcxpqrvwdq

A Short Historical Survey of Functional Hardware Languages

Gang Chen
2012 ISRN Electronics  
This short historical survey is about functional languages specifically created for hardware design and verification.  ...  Functional programming languages offer a high degree of abstractions and clean semantics, which are desirable for hardware descriptions.  ...  Acknowledgment The author grateful to his wife Ping Hu for her support and patience. Thanks are due to Mary Sheeran for his insightful remarks.  ... 
doi:10.5402/2012/271836 fatcat:n2iml6tnnzhzbcjyuslsmdpy64

Software testing based on formal specifications: a theory and a tool

Gilles Bernot, Marie Claude Gaudel, Bruno Marre
1991 Software Engineering Journal  
These procedures are embedded in an interactive system which, given some general hypotheses schemes and an algebraic specification, produces a test set and the corresponding hypotheses.  ...  Starting from a notion of an ideal exhaustive test data set which is derived from the notion of satisfaction of the formal specification, it is shown how to select by refinements a practicable test set  ...  Acknowledgements This work has been partially supported by the Meteor Esprit Project and the PRC "Programmation et Outils pour l'Intelligence Artificielle."  ... 
doi:10.1049/sej.1991.0040 fatcat:luullbwhtneuvlwzqlmqjttm4a

Intertextuality: Interpretive practice and textual strategy

Brian Ott, Cameron Walter
2000 Critical Studies in Media Communication  
0-In contemporary media scholarship, the concept of intertextuality is used to descrihe hoth an interpretive practice of audiences and a stylistic device consciously employed by producers of media.  ...  It concludes by considering the ways audiences use these devices to define their identities and order their experiences.  ...  sPopular references include Euday Bowman's "12111 Street Rag," 'lZ Top's "Sharp Dressed Man," Tina Turner's "What's Love Got to Do With It," Hall and Oates' "Method of Modem Love," Yes' "Owner of a Lonely  ... 
doi:10.1080/15295030009388412 fatcat:qmxaq3uubffvbjnwpcpgwyjfea

MEG Source Imaging Using Multipolar Expansions [chapter]

John C. Mosher, Richard M. Leahy, David W. Shattuck, Sylvain Baillet
1999 Lecture Notes in Computer Science  
Our method builds up an estimate of the sources in a recursive manner, i.e. we first search for point current dipoles, then magnetic dipoles, and finally first order multipoles.  ...  We use a signal-subspace method to find the locations of a set of multipolar sources, each of which represents a region of activity in the cerebral cortex.  ...  activated during a particular experiment.  ... 
doi:10.1007/3-540-48714-x_2 fatcat:3e2obonjcng4zgy2xm6bkxldje

The integration of functions into logic programming: From theory to practice

Michael Hanus
1994 The Journal of Logic Programming  
The author is grateful to Herbert Kuchen, Rita Loogen, and an anonymous referee for their detailed comments on a previous version of this paper.  ...  Sergio Antoy, Bernd Biitow, Rachid Bchahed, Hendrik Lock, Andy Muck, Peter Padawitz, and Christian Prehofer have given further valuable comments to improve the paper.  ...  Hence, resolution combined with flattening has the same soundness and completeness properties as narrowing.  ... 
doi:10.1016/0743-1066(94)90034-5 fatcat:fp45iy6ne5chhg6q2z4wwcktu4

Synthesis of ML programs in the system Coq

Christine Paulin-Mohring, Benjamin Werner
1993 Journal of symbolic computation  
The system Coq (Dowek et al., 1991) is an environment for proof development based on the Calculus of Constructions (Coquand, 1985) (Coquand and Huet, 1985) enhanced with inductive definitions (Coquand  ...  We also justify the properties of the final ML program with respect to the initial specification.  ...  ACKNOWLEDGMENTS We thank Xavier Leroy and Chet Murthy for their help in analysing the behavior of the optimized normalization function.  ... 
doi:10.1016/s0747-7171(06)80007-6 fatcat:rtmd5gsei5g3jnya4x2tp76mda

Eclipse-IT 2013: Proceedings of VIII Workshop of the Italian Eclipse Community [article]

Elvinia Riccobene
2013 arXiv   pre-print
, all joined by the interest in experimenting, extending, and supporting the Eclipse platform.  ...  This workshop is, indeed, the eighth yearly meeting of the Italian Eclipse Community which includes universities, public institutions and industries, researchers and practitioners, students and professionals  ...  This integration has required a little reorganization of the app structure and a partial rewriting of the code.  ... 
arXiv:1310.2464v1 fatcat:m536dwffsndhbl2mi3tqfmq7uu

The &-Prolog system: Exploiting independent and-parallelism

M. V. Hermenegildo, K. J. Greene
1991 New generation computing  
The &-Prolog system, a practical implementation of a parallel execution niodel for Prolog exploiting strict and non-strict independent and-parallelism, is described.  ...  This description includes a summary of the system's language and architecture, some details of its execution model (based on the RAP-WAM model), and data on its performance on sequential workstations and  ...  algorithms (specially for non-strict IAP), combination with Or-parallelism (a combination with a BC-like model [1] is currently under way [9] ), application of the compilation and implementation techniques  ... 
doi:10.1007/bf03037164 fatcat:kfxbk6asfvdz3mu4bffihj44rq

Semi-automatic generation of UML models from natural language requirements

Deva Kumar Deeptimahanti, Ratna Sanyal
2011 Proceedings of the 4th India Software Engineering Conference on - ISEC '11  
This paper is an extension to our existing work by enhancing its complete usage with the help of Qualification Verification System as a case study.  ...  One main reason for such potential problems is due to the specification of software requirements in Natural Language format.  ...  by the Higher Education Authority (HEA), Republic of Ireland and in part, by Science Foundation Ireland grant 03/CE2/I303_1 to Lero -the Irish Software Engineering Research Centre (  ... 
doi:10.1145/1953355.1953378 dblp:conf/indiaSE/DeeptimahantiS11 fatcat:s34cghqcl5h3hmrnu2k5c2ipam

A Novel Smart Energy Management as a Service over a Cloud Computing Platform for Nanogrid Appliances

Bilal Naji Alhasnawi, Basil H. Jasim, Maria Dolores Esteban, Josep M. Guerrero
2020 Sustainability  
In this method, every home appliance is interfaced with an IoT entity (a data acquisition module) with a specific IP address, which results in a wide wireless system of devices.  ...  There are two components of the proposed system: software and hardware. The hardware is composed of a base station unit (BSU) and many terminal units (TUs).  ...  (50) RP = RP A + RP B + RP C , RAP = RAP A + RAP B + RAP C , D = D A + D B + D C (51) The term equal apparent power is used to describe an apparent intensity in the case of an unbalanced load.  ... 
doi:10.3390/su12229686 fatcat:scf3eoc56nfvdjwkkipxg4uaxq

Bilinear Modeling via Augmented Lagrange Multipliers (BALM)

A. Del Bue, J. Xavier, L. Agapito, M. Paladini
2012 IEEE Transactions on Pattern Analysis and Machine Intelligence  
The problem is formulated as a constrained optimization where one of the factors must lie on a specific manifold.  ...  We present experiments and results for some popular factorization problems in computer vision such as rigid, non-rigid, and articulated Structure from Motion, photometric stereo, and 2D-3D non-rigid registration  ...  In loose terms, the reformulation decouples the core bilinear aspect from the manifold specificity.  ... 
doi:10.1109/tpami.2011.238 pmid:22156102 fatcat:jmub4xsh7fgcrhvvws3lovzhsy

Nonnegative OPLS for Supervised Design of Filter Banks: Application to Image and Audio Feature Extraction

Sergio Munoz-Romero, Jeronimo Arenas-Garcia, Vanessa Gomez-Verdejo
2018 IEEE transactions on multimedia  
Furthermore, we compare the filter banks achieved by our methods with other state-of-the-art methods specifically designed for feature extraction.  ...  In particular, we propose a generalized methodology to design filter banks in a supervised way for applications dealing with nonnegative data, and we explore different ways of solving the proposed objective  ...  to combine them into a single measure of interpretability.  ... 
doi:10.1109/tmm.2017.2778568 fatcat:ow4xshfhtnhilb73f63wzn6w3i

The Freedom of Information Act in 1990: More Freedom for the Government; Less Information for the Public

Sean E. Andrussier
1991 Duke law journal  
Although the Court was dealing generally with a rap sheet, what the plaintiff requested and what the Court found to be highly sensitive (in terms of its inherent privacy implications) was information about  ...  that information technology has changed with the advent of agency electronic systems. 242 conflict of interest that necessarily arises when litigation and policy functions are combined in the same agency  ... 
doi:10.2307/1372712 fatcat:gdsqwrogqbhbdoxh3is64fxgdq

Design and Simulator Evaluation of an Ecological Synthetic Vision Display

C. Borst, M. Mulder, M. M. Van Paassen
2010 Journal of Guidance Control and Dynamics  
A last-resort warning and advisory system, in combination with its perceivable constraints, might be the best of both worlds in terms of situation awareness, system understanding, decision-making, workload  ...  For this experiment, however, both systems assumed that the aircraft was always working properly and therefore the interfaces only presented optimal constraints and resolutions. 4.  ... 
doi:10.2514/1.47832 fatcat:sr7xjzyrdbcdhawxmyzqhuzxny
« Previous Showing results 1 — 15 out of 860 results