6167 search results - page 85 / 1234 » Can Refinement be Automated |
114
click to vote
ADCM
2010
15 years 4 months ago
2010
The local reconstruction from samples is one of most desirable properties for many applications in signal processing, but it has not been given as much attention. In this paper, we...
145
click to vote
ECP
1997
Springer
15 years 8 months ago
1997
Springer
We provide a reconstruction of Blum and Furst’s Graphplan algorithm, and use the reconstruction to extend and improve the original algorithm in several ways. In our reconstructi...
179
click to vote
RTA
2010
Springer
15 years 7 months ago
2010
Springer
We present an automated approach to prove termination of Java Bytecode (JBC) programs by automatically transforming them to term rewrite systems (TRSs). In this way, the numerous t...
125
click to vote
MVA
2002
15 years 3 months ago
2002
Velocity Picking is the problem of picking velocity-time pairs based on a coherence metric between multiple seismic signals. Coherence as a function of velocity and time can be ex...
395
click to vote
BPM
2011
Springer
14 years 4 months ago
2011
Springer
As order dependencies between process tasks can get complex, it is easy to make mistakes in process model design, especially behavioral ones such as deadlocks. Notions such as soun...