Sciweavers

660 search results - page 84 / 132
» words 2003
Sort
View
CICLING
2003
Springer
15 years 11 months ago
Positive Grammar Checking: A Finite State Approach
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...
Sylvana Sofkova Hashemi, Robin Cooper, Robert Ande...
GRAPHICSINTERFACE
2003
15 years 7 months ago
Input-based Language Modelling in the Design of High Performance Text Input Techniques
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...
R. William Soukoreff, I. Scott MacKenzie
ICAT
2003
IEEE
15 years 11 months ago
SpaceSensor: Real-time Gesture Tracking for I-NEXT
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...
Dongpyo Hong, Woontack Woo
168
Voted
ICAT
2003
IEEE
15 years 11 months ago
Distance Learning of Chang'an in an Immersive Environment
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...
Miho Kobayashi, Kei Utsugi, Masami Yamasaki, Haruo...
CAV
2003
Springer
166views Hardware» more  CAV 2003»
15 years 11 months ago
Bridging the Gap between Fair Simulation and Trace Inclusion
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...
Yonit Kesten, Nir Piterman, Amir Pnueli