1158 search results - page 92 / 232 » Software is discrete mathematics |
LANMR
2007
13 years 11 months ago
2007
Teaching engineering students courses such as computer science theory, automata theory and discrete mathematics took us to realize that introducing basic notions of logic, especial...
SODA
2008
ACM
13 years 11 months ago
2008
ACM
We develop a framework for obtaining Fully Polynomial Time Approximation Schemes (FPTASs) for stochastic univariate dynamic programs with either convex or monotone single-period c...
ALGORITHMICA
2007
13 years 10 months ago
2007
Two classic “phase transitions” in discrete mathematics are the emergence of a giant component in a random graph as the density of edges increases, and the transition of a rand...
AUTOMATICA
2010
13 years 10 months ago
2010
: The standard continuous time state space model with stochastic disturbances the mathematical abstraction of continuous time white noise. To work with well defined, discrete time ...
CONSTRAINTS
2008
13 years 10 months ago
2008
Abstract. Essence is a formal language for specifying combinatorial problems, in a manner similar to natural rigorous specifications that use a mixture of natural language and disc...