8486 search results - page 111 / 1698 » Ordered Enumeration Method |
98
Voted
COR
2006
15 years 2 months ago
2006
This paper concerns the search for optimal or nearly optimal batting orders in one-day cricket. A search is conducted over the space of permutations of batting orders where simula...
107
Voted
IGARSS
2010
15 years 20 days ago
2010
Presented in this paper is a method of retrieving higher order statistical functions of the ocean wave surface from sunglint, or solar optical radiation specularly reflected from t...
123
Voted
DAC
2006
ACM
16 years 3 months ago
2006
ACM
Accurate estimation of the worst-case execution time (WCET) of a program is important for real-time embedded software. Static WCET estimation involves program path analysis and ar...
122
Voted
CADE
2007
Springer
16 years 3 months ago
2007
Springer
We present a multi-context focused sequent calculus whose derivations are in bijective correspondence with normal natural deductions in the propositional fragment of the intuitioni...
146
Voted
ICDCIT
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Statically estimating the worst case execution time of a program is important for real-time embedded software. This is difficult even in the programming language level du...