Automated online assistant - PDFSEARCH.IO - Document Search Engine

Automated online assistant
Results: 4

#	Item
1	Revision Assistant The LightSide Revision Assistant is an online program to help middle and high school teachers to assign writing to their students. State-of-the-art machine learning technology provides automated writi Add to Reading List Source URL: lightsidelabs.com Language: English - Date: 2014-04-19 23:20:37 Educators Teacher Revision Learning Education Teaching Writing
2	Academic software reuse, an experience report Edward Z. Yang May 14, 2012 The objective of this 6.UAP project was to build an online, educational proof assistant for classical first-order logic, which al Add to Reading List Source URL: ezyang.com Language: English - Date: 2013-05-31 17:17:03 Mathematics Automated theorem proving Logic in computer science Functional languages Proof assistant Coq Natural deduction Jape Intuitionistic logic Mathematical logic Logic Proof theory
3	Accepted to the First International Pragmatic Web Conference, September[removed], Stuttgart, Germany The Role of Virtual Servants in e-Interaction Mikael Lind, Nicklas Salomonson Add to Reading List Source URL: calistoga.se Language: English - Date: 2011-09-07 05:01:56 IKEA Jardine Matheson Group Electronic commerce Virtual world Avatar Automated online assistant Online shopping Sales Business Virtual reality Internet culture
4	Press information Health reform: virtual assistant answers citizens’ queries Add to Reading List Source URL: unpan1.un.org Language: English - Date: 2013-01-25 14:00:33 Electronic commerce Web portal E-Government Online shopping Call centre Automated online assistant Open government Technology Public administration

UPDATE