325 search results - page 36 / 65 » MIX Is Not a Tree-Adjoining Language |
ENTCS
2006
14 years 9 months ago
2006
Formal notations for system performance modeling need to be equipped with suitable notations for specifying performance measures. These companion notations have been traditionally...
CP
2004
Springer
15 years 3 months ago
2004
Springer
We combine mixed integer linear programming (MILP) and constraint programming (CP) to solve planning and scheduling problems. Tasks are allocated to facilities using MILP and sche...
67
Voted
FDL
2008
IEEE
15 years 4 months ago
2008
IEEE
In the real-time and embedded domain, systems tend to combine periodic and aperiodic computations. This leads to mixing event-triggered with timetriggered communications with thei...
LICS
2008
IEEE
15 years 4 months ago
2008
IEEE
Variable binding is a prevalent feature of the syntax and proof theory of many logical systems. In this paper, we define a programming language that provides intrinsic support fo...
69
Voted
SAC
2006
ACM
15 years 3 months ago
2006
ACM
This paper describes the design and implementation of a scheme for hiding information in translated natural language text, and presents experimental results using the implemented ...