Sciweavers

3311 search results - page 437 / 663
» Deductive Object Programming
Sort
View
CSDA
2007
172views more  CSDA 2007»
15 years 4 months ago
AMCMC: An R interface for adaptive MCMC
We describe AMCMC, a software package for running adaptive MCMC algorithms on user-supplied density functions. AMCMC provides the user with an R interface, which in turn calls C pr...
Jeffrey S. Rosenthal
ENTCS
2007
133views more  ENTCS 2007»
15 years 4 months ago
Modelchecking Correctness of Refactorings - Some Experiments
Refactorings are changes made to programs, models or specifications with the intention of improving their structure and thus making them clearer, more readable and re-usable. Ref...
H.-Christian Estler, Thomas Ruhroth, Heike Wehrhei...
NECO
2008
83views more  NECO 2008»
15 years 4 months ago
Sequential Fixed-Point ICA Based on Mutual Information Minimization
A new gradient technique is introduced for linear ICA based on the Edgeworth expansion of mutual information, for which the algorithm operates sequentially using fixed-point itera...
Marc M. Van Hulle
ENTCS
2002
127views more  ENTCS 2002»
15 years 3 months ago
A Calculus for "Environment-Aware" Computation
We present a calculus for modelling "environment-aware" computations, that is computations that adapt their behaviour according to the capabilities of the environment. T...
Viviana Bono, Ferruccio Damiani, Paola Giannini
SAS
2010
Springer
139views Formal Methods» more  SAS 2010»
15 years 2 months ago
Interprocedural Analysis with Lazy Propagation
We propose lazy propagation as a technique for flow- and context-sensitive interprocedural analysis of programs with objects and first-class functions where transfer functions ma...
Simon Holm Jensen, Anders Møller, Peter Thi...