3155 search results - page 142 / 631 » How Are You Doing |
CORR
2007
Springer
13 years 7 months ago
2007
Springer
Abstract. Automated theorem provers are used in extended static checking, where they are the performance bottleneck. Extended static checkers are run typically after incremental ch...
CORR
2007
Springer
13 years 7 months ago
2007
Springer
The aim of this paper is to show how we can handle the Recognising Textual Entailment (RTE) task by using Description Logics (DLs). To do this, we propose a representation of natur...
CORR
2004
Springer
13 years 7 months ago
2004
Springer
How do I find the optimal photometric system for a survey? Designing a photometric system to best fulfil a set of scientific goals is a complex task, demanding a compromise betwee...
CACM
2002
13 years 7 months ago
2002
A report on how a computer science professor and a Ph.D. student in English turned a graduate seminar into a vehicle for teaching reviewing to graduate students. The evaluation an...
RITA
2000
13 years 7 months ago
2000
This paper discusses how RETOOL, an action logic featuring an operator that expresses necessary conditions, postconditions and time bounds of actions, can be combined with MTL, a ...