660 search results - page 84 / 132 » words 2003 |
CICLING
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. This paper reports on the development of a finite state system for finding grammar errors without actually specifying the error. A corpus of Swedish text written by chi...
GRAPHICSINTERFACE
2003
14 years 11 months ago
2003
We present a critique of language-based modelling for text input research, and propose an alternative inputbased approach. Current language-based statistical models are derived fr...
ICAT
2003
IEEE
15 years 3 months ago
2003
IEEE
In this paper, we propose a real-time gesture tracking technique for the personalized user interface exploiting non-contact 3D vision technique. We first separate a user of intere...
ICAT
2003
IEEE
15 years 3 months ago
2003
IEEE
We have made a computer graphics model of Chang'an City when it was the capital of China during the Tang Dynasty (7-10th century). The real-time rendered images are projected...
70
Voted
CAV
2003
Springer
15 years 2 months ago
2003
Springer
The paper considers the problem of checking abstraction between two finite-state fair discrete systems (FDS). In automata-theoretic terms this is trace inclusion between two nond...