1204 search results - page 144 / 241 » Termination of Polynomial Programs |
90
Voted
ACG
2003
Springer
15 years 6 months ago
2003
Springer
Many research teams and individuals have computed endgame databases for the game of chess which use the distance-to-mate metric, enabling their software to forecast the number of m...
90
Voted
IFIP
2003
Springer
15 years 5 months ago
2003
Springer
In this work we propose and evaluate mechanisms for the multiplexing and the integrated delivery of Video and Data Traffic over a Wireless Cellular High Speed Packet Switched Netwo...
96
Voted
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
— This paper deals with output feedback impulse control under set-membership uncertainty where the control realization consists of a sequence of δ-impulses. It indicates solutio...
109
Voted
FASE
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. This paper describes a specialised logic for proving specifications in the Java Modeling Language (JML). JML is an interface specification language for Java. It allows ...
97
Voted
IFL
2001
Springer
15 years 5 months ago
2001
Springer
The parallel-functional language Eden extends Haskell with constructs to explicitly define and communicate processes. These extensions allow the easy definition of skeletons as h...