4,553 Hits in 3.9 sec

On parametric algebraic specifications with clean error handling [chapter]

Martin Gogolla
1987 Lecture Notes in Computer Science  
This new approach allows to prove an extension lemma for persistent parametric specifications which permit error handling. opment of specification languages like OBJ [FGJM 85], ACT ONE [EFH 83], ASL [SW  ...  On this basis error and exception handling is studied.  ...  Bidoit / C.Choppy : Abstract data types with exception handling : An initial approach based on a Eh 81 H.Ehrig : Algebraic theory of parametrized specifica- Ga 83 H.Ganzinger : Parametrized  ... 
doi:10.1007/3-540-17660-8_49 fatcat:ngbehnrxsje55fq6ej6jvfaqvy

Page 2638 of Mathematical Reviews Vol. , Issue 88e [page]

1988 Mathematical Reviews  
Lescanne, Transformation ordering (pp. 69-80); Martin Gogolla, On parametric algebraic specifica- tions with clean error handling (pp. 81-95); Donald Sannella and Andrzej Tarlecki, Toward formal development  ...  of programs from algebraic specifications: implementations revisited (extended abstract) (pp. 96-110); G.  ... 

On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types

H.-D. Ehrich
1982 Journal of the ACM  
The language of categories provides a clean and perspicacious way to deal with objects, together with certain relationships (morphisms) between them, in a closed and consistent system of notation.  ...  Utdlzmg pushouts Parametric specifications and parameter assignments are defined to be spectal morphlsms in spec, and parameter substitution ~s made precise by means of pushouts Since actual parameters  ...  Lipeck for giving valuable comments and criticism on an earlier draft of this paper. I also want to thank H. Ehng, V. G. Lohberger, J. Thatcher, and E. Wagner for helpful discussions.  ... 
doi:10.1145/322290.322303 fatcat:5gcrafin2bczhnnveffgrh4zvu

Handling Environments in a Nested Relational Algebra with Combinators and an Implementation in a Verified Query Compiler

Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon
2017 Proceedings of the 2017 ACM International Conference on Management of Data - SIGMOD '17  
Algebras based on combinators, i.e., variable-free, have been proposed as a better representation for query compilation and optimization.  ...  The implementation is automatically extracted from the specification, resulting in a query compiler with a verified core.  ...  We also thank Guillaume Baudart, Stefan Fehrenbach, and Erik Wittern for their feedback on earlier drafts. Finally, we send this : to Florence Plateau.  ... 
doi:10.1145/3035918.3035961 dblp:conf/sigmod/AuerbachHMSS17 fatcat:j3vhctveubbyvogpyempnest6y

Type-Constrained Direct Fitting of Quadric Surfaces

James Andrews, Carlo H. Séquin
2013 Computer-Aided Design and Applications  
Our catalog handles a wide range of quadric types with just two high-level fitting strategies, making it simpler to understand and implement.  ...  Type-specific quadric fitting methods are scattered throughout the literature; here we present a thorough, practical collection in one place.  ...  fitting procedures of Sec. 2.2 on that parametrically-reduced form.  ... 
doi:10.1080/16864360.2013.834155 fatcat:5oougeaqjbeypnjfo75lztdwq4

Programming with equalities, subsorts, overloading, and parametrization in OBJ

Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis
1992 The Journal of Logic Programming  
To an object is associated one particular model, namely its initial ordersorted algebra.  ...  To a theory is associated a class of models containing all the order-sorted algebras that satisfy its requirements. Objects and theories are both modules.  ...  We would also like to acknowledge our collaboration with J. Meseguer and T. Winkler. Parts of this paper are strongly inspired by joint papers [33, 131. It is an extended version of [29].  ... 
doi:10.1016/0743-1066(92)90027-z fatcat:5kcishcrfvgstn7755ggw3fxs4

AlphaClean: Automatic Generation of Data Cleaning Pipelines [article]

Sanjay Krishnan, Eugene Wu
2019 arXiv   pre-print
AlphaClean provides users with a rich library to define data quality measures with weighted sums of SQL aggregate queries.  ...  Our experiments on real and synthetic benchmarks suggest that AlphaClean finds solutions of up-to 9x higher quality than naively applying state-of-the-art parameter tuning methods, is significantly more  ...  method through comparisons with data cleaning systems (e.g., HoloClean [40] ) that are specialized to specific classes of data errors.  ... 
arXiv:1904.11827v2 fatcat:qwggl5zfnjfcbc2jvnjytsl6je

Graphing software for medical writers

Jesslynn Ooi, Daniela Traini, Paul M Young
2014 Medical Writing  
review highlights the various requirements that a writer may encounter when preparing data in a graphical format for presentation and gives an overview of 15 graphing software packages that are available on  ...  It can easily deal with linear algebra, statistics, Fourier analysis, filtering, optimisation, integration, and differential equations. Data acquisition in real time is possible with add-on products.  ...  By asking these three specific questions, a medical writer will be in a position to narrow his/her choices to a few packages and then settle on the one that is most suitable.  ... 
doi:10.1179/2047480613z.000000000185 fatcat:jrnucdvnv5fz7ntkd2wveiofq4

Matrix Equations, Sparse Solvers: M-M.E.S.S.-2.0.1 – Philosophy, Features and Application for (Parametric) Model [article]

Peter Benner, Martin Köhler, Jens Saak
2020 arXiv   pre-print
Matrix equations are omnipresent in (numerical) linear algebra and systems theory.  ...  describes the basic philosophy behind the implementation and the features of the package, as well as its application in the model order reduction of large-scale linear time-invariant (LTI) systems and parametric  ...  Relative sigma-magnitude errors of different piecewise parametric one-sided reduction approaches for the thermal block model.  ... 
arXiv:2003.02088v2 fatcat:tukxcjpyl5bzpbeejxm233opza

Single and Multiple ${ F}_{0}$ Contour Estimation Through Parametric Spectrogram Modeling of Speech in Noisy Environments

Jonathan Le Roux, Hirokazu Kameoka, Nobutaka Ono, Alain de Cheveign, Shigeki Sagayama
2007 IEEE Transactions on Audio, Speech, and Language Processing  
We evaluate our algorithm in comparison with existing methods on several tasks, and show 1) that it is competitive on clean single-speaker speech, 2) that it outperforms existing methods in the presence  ...  This paper proposes a novel 0 contour estimation algorithm based on a precise parametric description of the voiced parts of speech derived from the power spectrum.  ...  On single-speaker clean speech, we obtained good results which we compared with existing methods specifically designed for that task.  ... 
doi:10.1109/tasl.2007.894510 fatcat:sc7iyaxuajbgvn3yr7xzjsw3u4

Shape complexity

Jarek Rossignac
2005 The Visual Computer  
Much research was focused on coping with or on reducing shape complexity. But, what exactly is shape complexity?  ...  Algebraic complexity measures the degree of polynomials needed to represent the shape exactly in its implicit or parametric form.  ...  To avoid dealing with higher-order parametric formulations, one may choose to use only first degree polynomials, for which the CSG-to-Boundary conversion may be performed reliably [BaRo96] .  ... 
doi:10.1007/s00371-005-0362-7 fatcat:kyz5qzyt75f5fkdfd3nhlacqkm

Missing Data Prediction using Correlation Genetic Algorithm and SVM Approach

Aysh Alhroob, Wael Alzyadat, Ikhlas Almukahel, Hassan Altarawneh
2020 International Journal of Advanced Computer Science and Applications  
This paper considers the handling of the missing data using the Support Vector Machine (SVM) based on a technique called Correlation-Genetic Algorithm-SVM.  ...  Working on missing data has become a very important task in big data analysis.  ...  This method helps in omitting the missing data by calculating the error. Based on the accuracy and error calculation, the proposed system is evaluated.  ... 
doi:10.14569/ijacsa.2020.0110288 fatcat:55t5rpdlsvdjlhm566vd76yhze

Data-Driven Reduced-Order Modeling of Convective Heat Transfer in Porous Media

Péter German, Mauricio E. Tano, Carlo Fiorina, Jean C. Ragusa
2021 Fluids  
This work presents a data-driven Reduced-Order Model (ROM) for parametric convective heat transfer problems in porous media.  ...  For transient scenarios, on the other hand, the coastdown-time of the pump is the only uncertain parameter.  ...  This example has been specifically chosen to showcase how a system with both clean fluid and prorous medium zones can be treated with the developed ROM.  ... 
doi:10.3390/fluids6080266 fatcat:i7bouiogungr3oaladc3nydwxq

Programming with algebraic effects and handlers

Andrej Bauer, Matija Pretnar
2015 Journal of Logical and Algebraic Methods in Programming  
Eff is a programming language based on the algebraic approach to computational effects, in which effects are viewed as algebraic operations and effect handlers as homomorphisms from free algebras.  ...  Eff supports first-class effects and handlers through which we may easily define new computational effects, seamlessly combine existing ones, and handle them in novel ways.  ...  The cooperative multithreading example from Section 6.10 was written together with Chris Stone.  ... 
doi:10.1016/j.jlamp.2014.02.001 fatcat:h2h72jrolnawrcstvjug5y4iai

Patch Complexity, Finite Pixel Correlations and Optimal Denoising [chapter]

Anat Levin, Boaz Nadler, Fredo Durand, William T. Freeman
2012 Lecture Notes in Computer Science  
Focusing on image denoising, we make several contributions.  ...  Image restoration tasks are ill-posed problems, typically solved with priors.  ...  First we consider non-parametric denoising with a finite external database and finite patch size. We study the dependence of denoising error on patch size.  ... 
doi:10.1007/978-3-642-33715-4_6 fatcat:f4tiqivg7nfcrieu4svwgczrm4
« Previous Showing results 1 — 15 out of 4,553 results