4914 search results - page 355 / 983 » Arbitration of a help system |
188
click to vote
AUSAI
2003
Springer
16 years 28 min ago
2003
Springer
Most on-line cursive handwriting recognition systems use a lexical constraint to help improve the recognition performance. Traditionally, the vocabulary lexicon is stored in a trie...
157
click to vote
ISMAR
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we describe the Augmented Reality (AR) authoring system "PowerSpace" which allows fast and comfortable generation of AR worlds. The system presented uses t...
181
click to vote
WETICE
2002
IEEE
15 years 11 months ago
2002
IEEE
Distributed Denial-of-Service attacks are still a big threat to the Internet. Several proposals for coping with the attacks have been made in the recent past, but neither of them ...
196
click to vote
LPAR
2001
Springer
15 years 11 months ago
2001
Springer
The EPGY Theorem-Proving Environment is designed to help students write ordinary mathematical proofs. The system, used in a selection of computer-based proof-intensive mathematics ...
163
click to vote
TLCA
2001
Springer
15 years 11 months ago
2001
Springer
In this paper, we introduce a new type system, the Implicit Calculus of Constructions, which is a Curry-style variant of the Calculus of Constructions that we extend by adding an i...