3082 search results - page 506 / 617 » New Bounds for the Controller Problem |
190
click to vote
IWVF
2001
Springer
15 years 10 months ago
2001
Springer
We consider the problem of recognizing an object from its silhouette. We focus on the case in which the camera translates, and rotates about a known axis parallel to the image, suc...
161
click to vote
ESOP
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. Dynamicprogramming is an importantalgorithm design technique. It is used for solving problems whose solutions involve recursively solving subproblems that share subsubpro...
135
click to vote
ISSTA
1996
ACM
15 years 9 months ago
1996
ACM
In assessing the quality of software, we would like to make engineering judgements similar to those based on statistical quality control. Ideally, we want to support statements li...
158
click to vote
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
Air traffic flow management is one of the fundamental challenges facing the Federal Aviation Administration (FAA) today. The FAA estimates that in 2005 alone, there were over 322,...
167
click to vote
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...