Sciweavers

1449 search results - page 216 / 290
» Finiteness results for sigmoidal
Sort
View
NLPRS
2001
Springer
15 years 10 months ago
Vietnamese Word Segmentation
Word segmentation is the first and obligatory task for every NLP. For inflectional languages like English, French, Dutch,.. their word boundaries are simply assumed to be whitespa...
Dinh Dien, Hoang Kiem, Nguyen Van Toan
RT
2001
Springer
15 years 10 months ago
Thrifty Final Gather for Radiosity
Finite Element methods are well suited to the computation of the light distribution in mostly diffuse scenes, but the resulting mesh is often far from optimal to accurately represe...
Annette Scheel, Marc Stamminger, Hans-Peter Seidel
DATE
2000
IEEE
130views Hardware» more  DATE 2000»
15 years 10 months ago
Optimal Hardware Pattern Generation for Functional BIST
∗∗ Functional BIST is a promising solution for self-testing complex digital systems at reduced costs in terms of area and performance degradation. The present paper addresses t...
Silvia Cataldo, Silvia Chiusano, Paolo Prinetto, H...
INFOVIS
2000
IEEE
15 years 10 months ago
Visualizing Sequential Patterns for Text Mining
A sequential pattern in data mining is a finite series of elements such as A → B → C → D where A, B, C, and D are elements of the same domain. The mining of sequential patte...
Pak Chung Wong, Wendy Cowley, Harlan Foote, Elizab...
IPPS
1999
IEEE
15 years 10 months ago
Mechanical Verification of a Garbage Collector
Abstract. We describe how the PVS verification system has been used to verify a safety property of a garbage collection algorithm, originally suggested by Ben-Ari. The safety prope...
Klaus Havelund