1613 search results - page 121 / 323 » Functional and Constraint Logic Programming |
133
click to vote
CADE
2004
Springer
15 years 9 months ago
2004
Springer
The paper presents a modular superposition calculus for the combination of first-order theories involving both total and partial functions. Modularity means that inferences are pu...
137
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— This paper proposes a novel two-stage optimization method for robust Model Predictive Control (RMPC) with Gaussian disturbance and state estimation error. Since the dis...
119
Voted
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
We have investigated the potential for using genetic programming to evolve compiler parsing and translation routines for processing arithmetic and logical expressions as they are ...
157
click to vote
LICS
1992
IEEE
15 years 7 months ago
1992
IEEE
We sketch a methodology for the verification of compiler correctness based on the LF Logical Framework as realized within the Elf programming language. We have applied this techni...
161
Voted
ICTAC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Role-based access control (RBAC) is recognized as an excellent model for access control in large-scale networked applications. Formalization of RBAC in a logical approach...