3742 search results - page 171 / 749 » On the Use of Formal Techniques for Validation |
171
click to vote
IMCSIT
2010
15 years 3 months ago
2010
This paper presents a system that combines two text mining techniques; information extraction and clustering. A rulebased approach is used to perform the information extraction tas...
180
click to vote
ICASSP
2008
IEEE
16 years 27 days ago
2008
IEEE
Missing data techniques have been recently applied to speaker recognition to increase performance in noisy environments. The drawback of these techniques is the vulnerability of t...
139
click to vote
WSC
2007
15 years 8 months ago
2007
The modeling of systems mixing discrete and continuous behavior is a challenge for model builders. Sometimes, the continuous part is important, but small near the complex decision...
174
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
We consider a mild extension of universal algebra in which terms are built both from deterministic and probabilistic variables, and are interpreted as distributions. We formulate a...
154
click to vote
MMM
2007
Springer
16 years 22 days ago
2007
Springer
Recently, various non-photorealistic rendering (NPR) techniques have been developed for computers to generate images of different artistic styles automatically. Due to the complexi...