7109 search results - page 1405 / 1422 » Process Algebra with Combinators |
COLING
2002
13 years 7 months ago
2002
Syllable-to-word (STW) conversion is important in Chinese phonetic input methods and speech recognition. There are two major problems in the STW conversion: (1) resolving the ambi...
CORR
2000
Springer
13 years 7 months ago
2000
Springer
For logic programs with arithmetic predicates, showing termination is not easy, since the usual order for the integers is not well-founded. A new method, easily incorporated in th...
ENVSOFT
2000
13 years 7 months ago
2000
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...
IM
2007
13 years 7 months ago
2007
This paper describes Armil, a meta-search engine that groups the web snippets returned by auxiliary search engines into disjoint labeled clusters. The cluster labels generated by A...
IJCV
1998
13 years 7 months ago
1998
This paper presents a method that uses the level sets of volumes to reconstruct the shapes of 3D objects from range data. The strategy is to formulate 3D reconstruction as a stati...