740 search results - page 133 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
LREC
2010
13 years 8 months ago
2010
This paper introduces a new corpus of consulting dialogues designed for training a dialogue manager that can handle consulting dialogues through spontaneous interactions from the ...
ICMLA
2007
13 years 8 months ago
2007
We describe SVMotif, a support vector machine-based learning algorithm for identification of cellular DNA transcription factor (TF) motifs extrapolated from known TF-gene interact...
PKDD
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. For a book, the title and abstract provide a good first impression of what to expect from it. For a database, getting a first impression is not so straightforward. Whil...
BMCBI
2006
13 years 7 months ago
2006
Background: Increasing amounts of data from large scale whole genome analysis efforts demands convenient tools for manipulation, visualization and investigation. Whole genome plot...
ISMAR
2007
IEEE
14 years 1 months ago
2007
IEEE
Spatial sensor systems in cars are gaining more and more importance. Such sensor systems are the foundation of future safety systems, such as automatic emergency brakes, as well a...