Results 1 - 10 of 5,830

Monads for functional programming

by Philip Wadler , 1995
"... The use of monads to structure functional programs is described. Monads provide a convenient framework for simulating effects found in other languages, such as global state, exception handling, output, or non-determinism. Three case studies are looked at in detail: how monads ease the modification o ..."
Abstract - Cited by 1487 (43 self) - Add to MetaCart
The use of monads to structure functional programs is described. Monads provide a convenient framework for simulating effects found in other languages, such as global state, exception handling, output, or non-determinism. Three case studies are looked at in detail: how monads ease the modification

A Calculus of Program Modifications

by R. Mili, M Frappier, J Desharnais, A. Mili , 1997
"... It is common to distinguish between two paradigms of software reuse: black box reuse, which consists in reusing components verbatim, without modifying them; and white box reuse, which provides for making modifications to retrieved components before using them. Because software components are very i ..."
Abstract - Cited by 4 (0 self) - Add to MetaCart
It is common to distinguish between two paradigms of software reuse: black box reuse, which consists in reusing components verbatim, without modifying them; and white box reuse, which provides for making modifications to retrieved components before using them. Because software components are very

A tutorial on support vector regression

by Alex J. Smola, Bernhard Schölkopf , 2004
"... In this tutorial we give an overview of the basic ideas underlying Support Vector (SV) machines for function estimation. Furthermore, we include a summary of currently used algorithms for training SV machines, covering both the quadratic (or convex) programming part and advanced methods for dealing ..."
Abstract - Cited by 865 (3 self) - Add to MetaCart
In this tutorial we give an overview of the basic ideas underlying Support Vector (SV) machines for function estimation. Furthermore, we include a summary of currently used algorithms for training SV machines, covering both the quadratic (or convex) programming part and advanced methods for dealing

A Formal Approach to Program Modification

by unknown authors
"... Abstract This paper presents a systematic approach to implement-ing certain kinds of program modifications, in which (conceptually at least) the modification is implemented as a sep-arate program and then integrated with the original program using semantically based transformations. This ap-proach a ..."
Abstract - Add to MetaCart
Abstract This paper presents a systematic approach to implement-ing certain kinds of program modifications, in which (conceptually at least) the modification is implemented as a sep-arate program and then integrated with the original program using semantically based transformations. This ap

Distance metric learning for large margin nearest neighbor classification

by Kilian Q. Weinberger, John Blitzer, Lawrence K. Saul - In NIPS , 2006
"... We show how to learn a Mahanalobis distance metric for k-nearest neighbor (kNN) classification by semidefinite programming. The metric is trained with the goal that the k-nearest neighbors always belong to the same class while examples from different classes are separated by a large margin. On seven ..."
Abstract - Cited by 695 (14 self) - Add to MetaCart
We show how to learn a Mahanalobis distance metric for k-nearest neighbor (kNN) classification by semidefinite programming. The metric is trained with the goal that the k-nearest neighbors always belong to the same class while examples from different classes are separated by a large margin

Crystallography & NMR system: A new software suite for macromolecular structure determination.

by Axel T Brünger , Paul D Adams , G Marius Clore , Warren L Delano , Piet Gros , Ralf W Grosse-Kunstleve , Jian-Sheng Jiang , John Kuszewski , Michael Nilges , Navraj S Pannu , Randy J Read , Luke M Rice , Thomas Simonson , Gregory L Warren - Acta Crystallogr. D Biol. Crystallogr. , 1998
"... Abstract A new software suite, called Crystallography & NMR System (CNS), has been developed for macromolecular structure determination by X-ray crystallography or solution nuclear magnetic resonance (NMR) spectroscopy. In contrast to existing structure determination programs the architecture o ..."
Abstract - Cited by 1411 (6 self) - Add to MetaCart
Abstract A new software suite, called Crystallography & NMR System (CNS), has been developed for macromolecular structure determination by X-ray crystallography or solution nuclear magnetic resonance (NMR) spectroscopy. In contrast to existing structure determination programs the architecture

Tor: The secondgeneration onion router,”

by Roger Dingledine - in 13th USENIX Security Symposium. Usenix, , 2004
"... Abstract We present Tor, a circuit-based low-latency anonymous communication service. This second-generation Onion Routing system addresses limitations in the original design by adding perfect forward secrecy, congestion control, directory servers, integrity checking, configurable exit policies, an ..."
Abstract - Cited by 1229 (33 self) - Add to MetaCart
to support most TCP-based programs without modification. Tor now relies on the filtering features of privacy-enhancing application-level proxies such as Privoxy No mixing, padding, or traffic shaping (yet): Onion Routing originally called for batching and reordering cells as they arrived, assumed padding

Open PROMOL: An Experimental Language for Target Program Modification

by Vytautas Stuikys, Robertas Damasevicius, Giedrius Ziberkas - Forum on Design Languages (FDL’2001 , 2001
"... We present a short description of the capabilities of the experimental scripting language Open PROMOL. It has been developed aiming: 1) to deliver flexible means for representing wide range modifications of a target program, and 2) to support white-box reuse for well-understood domains, such as hard ..."
Abstract - Cited by 16 (8 self) - Add to MetaCart
We present a short description of the capabilities of the experimental scripting language Open PROMOL. It has been developed aiming: 1) to deliver flexible means for representing wide range modifications of a target program, and 2) to support white-box reuse for well-understood domains

Emotional processing of fear: Exposure to corrective information

by Edna B. Foa, Michael J. Kozak - Psychological Bulletin , 1986
"... In this article we propose mechanisms that govern the processing of emotional information, particularly those involved in fear eduction. Emotions are viewed as represented by information structures in memory, and anxiety is thought to occur when an information structure that serves as program to esc ..."
Abstract - Cited by 351 (6 self) - Add to MetaCart
In this article we propose mechanisms that govern the processing of emotional information, particularly those involved in fear eduction. Emotions are viewed as represented by information structures in memory, and anxiety is thought to occur when an information structure that serves as program

Integrating non-interfering versions of programs

by Susan Horwitz, Jan Prins, Thomas Reps - ACM Transactions on Programming Languages and Systems , 1989
"... The need to integrate several versions of a program into a common one arises frequently, but it is a tedious and time consuming task to integrate programs by hand. To date, the only available tools for assisting with program integration are variants of text-based differential file comparators; these ..."
Abstract - Cited by 250 (23 self) - Add to MetaCart
on the assumption that differences in the behavior of the variant programs from that of Base, rather than differences in the text, are significant and must be preserved in M. Although it is undecidable whether a program modification actually leads to such a difference, it is possible to determine a safe
Results 1 - 10 of 5,830