Sciweavers

7066 search results - page 1384 / 1414
» Contact Relations with Applications
Sort
View
DM
2000
108views more  DM 2000»
13 years 7 months ago
On completeness of word reversing
Word reversing is a combinatorial operation on words that detects pairs of equivalent words in monoids that admit a presentation of a certain form. Here we give conditions for this...
Patrick Dehornoy
DSS
2000
95views more  DSS 2000»
13 years 7 months ago
Exploring the use of concept spaces to improve medical information retrieval
This research investigated the application of techniques successfully used in previous information retrieval research, to the more challenging area of medical informatics. It was ...
Andrea L. Houston, Hsinchun Chen, Bruce R. Schatz,...
CORR
2002
Springer
95views Education» more  CORR 2002»
13 years 7 months ago
Unsupervised Learning of Morphology without Morphemes
The first morphological learner based upon the theory of Whole Word Morphology (Ford et al., 1997) is outlined, and preliminary evaluation results are presented. The program, Whol...
Sylvain Neuvel, Sean A. Fulop
ENTCS
2000
120views more  ENTCS 2000»
13 years 7 months ago
Efficient Substitution in Hoare Logic Expressions
Substitution plays an important role in Hoare Logic, as it is used in interpreting assignments. When writing a computer-based realization of Hoare Logic, it is therefore important...
Roberto Virga
ENVSOFT
2000
51views more  ENVSOFT 2000»
13 years 7 months ago
Simulation of nitrous oxide and nitric oxide emissions from tropical primary forests in the Costa Rican Atlantic Zone
Nitrous oxide (N2O) and nitric oxide (NO) are important atmospheric trace gases participating in the regulation of global climate and environment. Predictive models on the emissio...
Shuguang Liu, William A. Reiners, Michael Keller, ...
« Prev « First page 1384 / 1414 Last » Next »