1158 search results - page 9 / 232 » Software is discrete mathematics |
CP
1999
Springer
13 years 12 months ago
1999
Springer
In this paper we present a Lagrange-multiplier formulation of discrete constrained optimization problems, the associated discrete-space first-order necessary and sufficient condit...
RTSS
2003
IEEE
14 years 27 days ago
2003
IEEE
We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...
ITPRO
2010
13 years 2 months ago
2010
ICIP
2009
IEEE
13 years 5 months ago
2009
IEEE
This paper describes an automated image restoration algorithm. The technique is based on the Stockwell transform (ST) and its discrete version, the discrete orthonormal Stockwell ...
APLAS
2005
ACM
14 years 1 months ago
2005
ACM
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...