10493 search results - page 1933 / 2099 » Dynamic Word Problems |
CONCUR
2001
Springer
14 years 19 days ago
2001
Springer
A key issue in the design of a model-checking tool is the choice of the formal language with which properties are specified. It is now recognized that a good language should exten...
COSIT
2001
Springer
14 years 19 days ago
2001
Springer
In this paper we propose the use of small global memory for a viewer’s immediate surroundings to assist in recognising places that have been visited previously. We call this glob...
SCHULE
2001
Springer
14 years 17 days ago
2001
Springer
Abstract: Education is changing, following changes in society. The focus is shifting from teaching towards learning. And Informatics, more particularly Information and Communicatio...
WIA
2001
Springer
14 years 17 days ago
2001
Springer
This article describes a finite-state cascade for the extraction of person names in texts in French. We extract these proper names in order to categorize and to cluster texts with...
CPM
2000
Springer
14 years 15 days ago
2000
Springer
Abstract. The mathematical concept of document resemblance captures well the informal notion of syntactic similarity. The resemblance can be estimated using a fixed size “sketch...