6960 search results - page 150 / 1392 » Continuity Analysis of Programs |
118
click to vote
EOR
2007
15 years 3 months ago
2007
This paper uses dynamic programming to investigate when contestants should use lifelines or when they should just stop answering in the TV quiz show ‘Who wants to be a millionai...
129
Voted
DIMVA
2006
15 years 4 months ago
2006
Abstract. The Internet, and in particular the world-wide web, have become part of the everyday life of millions of people. With the growth of the web, the demand for on-line servic...
138
click to vote
IFL
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
128
click to vote
GPEM
2000
15 years 3 months ago
2000
Genetic programming, in conjunction with advanced analytical instruments, is a novel tool for the investigation of complex biological systems at the whole-tissue level. In this stu...
104
Voted
SOFSEM
2009
Springer
16 years 5 days ago
2009
Springer
Microcontroller software typically consists of a few hundred lines of code only, but it is rather different from standard application code. The software is highly hardware and pla...