414 search results - page 50 / 83 » A Framework for Developing Conversational User Interfaces |
MKM
2007
Springer
14 years 3 months ago
2007
Springer
We present a new framework for the online development of formalized mathematics. This framework allows wiki-style collaboration while providing users with a rendered and browsable ...
MM
2010
ACM
13 years 7 months ago
2010
ACM
This thesis aims to analyze, model, and develop a framework for next-generation multimedia authoring tools targeted to end-users. In particular, I concentrate on the combination o...
TPHOL
2008
IEEE
14 years 3 months ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
HT
2006
ACM
14 years 3 months ago
2006
ACM
This paper presents a new definition of context for contextaware computing based on a model that relies on dynamic queries over structured objects. This new model enables develop...
CVPR
1999
IEEE
14 years 11 months ago
1999
IEEE
The development of user interfaces based on vision and speech requires the solution of a challenging statistical inference problem: The intentions and actions of multiple individu...