634 search results - page 47 / 127 » Completion Procedures as Semidecision Procedures |
IMR
2004
Springer
15 years 3 months ago
2004
Springer
The finite element (FE) mesh sizing has great influence on computational time, memory usage, and accuracy of FE analysis. Based on a systematic in-depth study of the geometric com...
110
click to vote
KR
1992
Springer
15 years 1 months ago
1992
Springer
This paper studies a version of the job shop scheduling problem in which some operations have to be scheduled within non-relaxable time windows i.e. earliest latest possible start...
BMCBI
2005
14 years 9 months ago
2005
Background: Currently real time PCR is the most precise method by which to measure gene expression. The method generates a large amount of raw numerical data and processing may no...
FOSSACS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
TABLEAUX
2005
Springer
15 years 3 months ago
2005
Springer
We present a sound and complete tableau calculus for the class of regular grammar logics. Our tableau rules use a special feature called automaton-labelled formulae, which are simi...