4099 search results - page 806 / 820 » A Framework for Interactive Proof |
102
click to vote
SE
2008
14 years 11 months ago
2008
: One of the main challenges in distributed software development is the elicitation and management of knowledge regarding system requirements. Due to spatial distribution of involv...
AAAI
2006
14 years 11 months ago
2006
The Robot Intelligence Kernel (RIK) is a portable, reconfigurable suite of perceptual, behavioral, and cognitive capabilities that can be used across many different platforms, env...
AAAI
2004
14 years 11 months ago
2004
We describe SCoT, a Spoken Conversational Tutor, which has been implemented in order to investigate the advantages of natural language in tutoring, especially spoken language. SCo...
109
click to vote
IFIP12
2004
14 years 11 months ago
2004
With the evolution of Web service technology, services will not only become increasingly sophisticated, but also move into the area of business-to-consumer and peer-to-peer interac...
FLAIRS
2001
14 years 11 months ago
2001
/Background The SOLAR and HELIOSPHERIC OBSERVATORY (SOHO) project [SOHO Web Page] is being carried out by the European Space Agency (ESA) and the US National Aeronautics and Space ...