2218 search results - page 199 / 444 » Testing Expressibility Is Hard |
GCSE
1999
Springer
14 years 2 months ago
1999
Springer
Abstract. A well-known problem in program generation is scoping. When identifiers (i.e., symbolic names) are used to refer to variables, types, or functions, program generators mu...
ATAL
2007
Springer
14 years 2 months ago
2007
Springer
Traffic authorities work hard to improve resource utilization in traffic. But these efforts do not consider that the valuations of waiting time can be different for each driver, e...
AIIDE
2007
14 years 29 days ago
2007
This paper presents an application of Hierarchical Transition Network (HTN) planning to a squad-based military simulation. The hierarchical planner produces collaborative plans fo...
ESTIMEDIA
2008
Springer
14 years 12 days ago
2008
Springer
We present a method for fine grain QoS control of multimedia applications. This method takes as input an application software composed of actions parameterized by quality levels. ...
NIPS
2007
14 years 1 days ago
2007
In many structured prediction problems, the highest-scoring labeling is hard to compute exactly, leading to the use of approximate inference methods. However, when inference is us...