1168 search results - page 177 / 234 » cases 2000 |
SAIG
2000
Springer
15 years 1 months ago
2000
Springer
When writing a program generator requires considerable intellectual effort, it is valuable to amortize that effort by using the generator to build more than one application. When ...
SAS
2000
Springer
15 years 1 months ago
2000
Springer
Computing invariants is the key issue in the analysis of infinite-state systems whether analysis means testing, verification or parameter synthesis. In particular, methods that all...
SMILE
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. Augmented Reality(AR) aims at merging the real and the virtual in order to enrich a real environment with virtual information. Augmentations range from simple text annota...
SPATIALCOGNITION
2000
Springer
15 years 1 months ago
2000
Springer
The transfer of spatial knowledge from virtual to real environments is one important issue in spatial cognition research. Up to now, studies in this domain have revealed that the p...
80
Voted
SPIRE
2000
Springer
15 years 1 months ago
2000
Springer
This paper describes a word stemming algorithm for the Spanish Language. Experiments in document retrieval regarding English text suggest that word stemming based on morphological...