1284 search results - page 44 / 257 » On Helping and Interactive Proof Systems |
KI
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. This paper discusses experiments with an agent oriented approach to automated and interactive reasoning. The approach combines ideas from two subfields of AI (theorem pr...
SIAMMA
2010
13 years 3 months ago
2010
This paper is concerned with a system that couples the incompressible Navier-Stokes equations to the Vlasov-Fokker-Planck equation. Such a system arises in the modeling of sprays,...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Accurate systems for extracting ProteinProtein Interactions (PPIs) automatically from biomedical articles can help accelerate biomedical research. Biomedical Informatics researche...
AIIA
2009
Springer
14 years 3 months ago
2009
Springer
With traditional Question Answering (QA) systems having reached nearly satisfactory performance, an emerging challenge is the development of successful Interactive Question Answeri...
FGR
2004
IEEE
14 years 15 days ago
2004
IEEE
In this paper we present a method for estimating a person's head pose with a stereo camera. Our approach focuses on the application of human-robot interaction, where people m...