11561 search results - page 416 / 2313 » A Language for Biochemical Systems |
194
click to vote
INLG
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. In this paper, we present a logic-based model for an accurate generation of intensional responses within a cooperative questionanswering framework. We develop several cat...
160
click to vote
ICALP
1990
Springer
15 years 11 months ago
1990
Springer
Termrewritingsystemsare importantfor computabilitytheoryof abstractdata types,for automatictheorem proving, and for the foundationsof functionalprogramming.In this shortsurveywe pr...
163
click to vote
JSYML
2010
15 years 6 months ago
2010
Let L be a first-order language and Φ and Ψ two Σ1 1 L-sentences that cannot be satisfied simultaneously in any finite L-structure. Then obviously the following principle Cha...
180
click to vote
ICALP
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We consider the randomized k-server problem, and give improved results for various metric spaces. In particular, we extend a recent result of Cot