5787 search results - page 147 / 1158 » Generic User Modeling Systems |
171
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
In this paper, we describe and compare systems for text normalization based on statistical machine translation (SMT) methods which are constructed with the support of internet use...
141
click to vote
EHCI
2001
15 years 7 months ago
2001
Abstract. Systematic user errors commonly occur in the use of interactive systems. We describe a formal reusable user model implemented in higher-order logic that can be used for m...
162
click to vote
GRAPHITE
2003
ACM
15 years 11 months ago
2003
ACM
Many substantial geographic information systems (GIS) have been designed for use by expert users. As a result, nonexpert users often find them difficult to use. This paper present...
158
click to vote
SERP
2003
15 years 7 months ago
2003
— Our work focuses on the use of formal techniques in order to increase the quality of HCI software and of all the processes resulting from the development, verification, design...
188
click to vote
TLCA
2007
Springer
16 years 14 days ago
2007
Springer
A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church’s Theory of Types and a generic constraint formalism. Our syntactic...