Sciweavers

8766 search results - page 1443 / 1754
» Functional logic programming
Sort
View
AUTOMATICA
2008
134views more  AUTOMATICA 2008»
15 years 3 months ago
Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
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 ...
Alessandro Abate, Maria Prandini, John Lygeros, Sh...
CORR
2010
Springer
154views Education» more  CORR 2010»
15 years 3 months ago
Algorithmic Thermodynamics
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...
John C. Baez, Mike Stay
CSDA
2006
91views more  CSDA 2006»
15 years 3 months ago
Model-based cluster and discriminant analysis with the MIXMOD software
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...
Christophe Biernacki, Gilles Celeux, Gérard...
ENTCS
2006
136views more  ENTCS 2006»
15 years 3 months ago
Classically-controlled Quantum Computation
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...
Simon Perdrix, Philippe Jorrand
EOR
2007
72views more  EOR 2007»
15 years 3 months ago
Placing a finite size facility with a center objective on a rectangular plane with barriers
This paper addresses the finite size 1-center placement problem on a rectangular plane in the presence of barriers. Barriers are regions in which both facility location and trave...
Avijit Sarkar, Rajan Batta, Rakesh Nagi
« Prev « First page 1443 / 1754 Last » Next »