4835 search results - page 673 / 967 » Refactoring Functional Programs |
C++
1994
15 years 1 months ago
1994
ne the design and detail the implementation of a language extension for abstracting types and for decoupling subtyping and inheritance in C++. This extension gives the user more of...
101
Voted
AUTOMATICA
2008
15 years 22 days ago
2008
In this work, probabilistic reachability over a finite horizon is investigated for a class of discrete time stochastic hybrid systems with control inputs. A suitable embedding of ...
108
Voted
CORR
2010
Springer
15 years 21 days ago
2010
Springer
Algorithmic entropy can be seen as a special case of entropy as studied in statistical mechanics. This viewpoint allows us to apply many techniques developed for use in thermodyna...
112
click to vote
CSDA
2006
15 years 19 days ago
2006
The mixmod (mixture modeling) program fits mixture models to a given data set for the purposes of density estimation, clustering or discriminant analysis. A large variety of algor...
120
Voted
ENTCS
2006
15 years 18 days ago
2006
It is reasonable to assume that quantum computations take place under the control of the classical world. For modelling this standard situation, we introduce a Classically-control...