263 search results - page 4 / 53 » Discrete Symbol Calculus |
GPCE
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. We define a basic calculus for name management, which is obtained by an appropriate combination of three ingredients: extensible records (in a simplified form), names (...
CHARME
2001
Springer
14 years 2 months ago
2001
Springer
In this paper we present a syntactical approach for deriving real-time programs from a formal specification of the requirements of real-time systems. The main idea of our approach ...
ICTAI
2002
IEEE
14 years 3 months ago
2002
IEEE
In this paper, we propose new dominance relations that can speed up significantly the solution process of nonlinear constrained dynamic optimization problems in discrete time and...
AIPS
2003
14 years 8 days ago
2003
CP
1999
Springer
14 years 3 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...