5214 search results - page 18 / 1043 » The Online Specialization Problem |
SAIG
2000
Springer
13 years 11 months ago
2000
Springer
The phrase optimal program specialization" was de ned by Jones et al. in 1993 to capture the idea of a specializer being strong enough to remove entire layers of interpretatio...
ICFEM
2009
Springer
14 years 2 months ago
2009
Springer
Coinductive proofs of behavioral equivalence often require human ingenuity, in that one is expected to provide a “good” relation extending one’s goal with additional lemmas, ...
ICRA
2007
IEEE
14 years 1 months ago
2007
IEEE
— We introduce the Oracular Partially Observable Markov Decision Process (OPOMDP), a type of POMDP in which the world produces no observations; instead there is an “oracle,” ...
IJCNN
2007
IEEE
14 years 1 months ago
2007
IEEE
— In the last decade, neural networks have been applied in Daily Load Forecasting. Nevertheless, two main problems are still present for using neural networks in this domain: fi...
TVLSI
2008
13 years 7 months ago
2008
ion levels. The framework also supports the generation of test constraints, which can be satisfied using a constraint solver to generate tests. A compositional verification approac...