3446 search results - page 449 / 690 » A Reasoning Algorithm for pD* |
171
click to vote
ILP
2007
Springer
16 years 3 days ago
2007
Springer
Bias/variance analysis is a useful tool for investigating the performance of machine learning algorithms. Conventional analysis decomposes loss into errors due to aspects of the le...
191
click to vote
LOPSTR
2007
Springer
16 years 3 days ago
2007
Springer
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...
162
click to vote
SPIN
2007
Springer
16 years 2 days ago
2007
Springer
Abstract. We present an approach for the veri cation of spatial properties with Spin. We rst extend one of Spin's main property speci cation mechanisms, i.e., the linear-time...
159
click to vote
TACAS
2007
Springer
16 years 2 days ago
2007
Springer
Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be ...
176
Voted
TACAS
2007
Springer
16 years 2 days ago
2007
Springer
The ad-hoc use of unions to encode disjoint sum types in C programs and the inability of C’s type system to check the safe use of these unions is a long standing source of subtle...