Sciweavers

4897 search results - page 418 / 980
» Trust Modeling for Peer-to-Peer Based Computing Systems
Sort
View
IROS
2007
IEEE
124views Robotics» more  IROS 2007»
16 years 1 months ago
Vocal imitation using physical vocal tract model
— A vocal imitation system was developed using a computational model that supports the motor theory of speech perception. A critical problem in vocal imitation is how to generate...
Hisashi Kanda, Tetsuya Ogata, Kazunori Komatani, H...
ICPR
2008
IEEE
16 years 8 months ago
Application of triphone clustering in acoustic modeling for continuous speech recognition in Bengali
The performance of the acoustic models is highly reflective on the overall performance of any continuous speech recognition system. Hence generation of an accurate and robust acou...
Anupam Basu, Gaurav Garg, Pabitra Mitra, Pratyush ...
CAV
2001
Springer
121views Hardware» more  CAV 2001»
15 years 11 months ago
A Practical Approach to Coverage in Model Checking
In formal verification, we verify that a system is correct with respect to a specification. When verification succeeds and the system is proven to be correct, there is still a q...
Hana Chockler, Orna Kupferman, Robert P. Kurshan, ...
SGAI
2007
Springer
16 years 27 days ago
Extending Jess to Handle Uncertainty
Computer scientists are often faced with the challenge of having to model the world and its associated uncertainties. One area in particular where modelling uncertainty is importa...
David Corsar, Derek H. Sleeman, Anne McKenzie
IWNAS
2008
IEEE
16 years 1 months ago
Accurate Performance Modeling and Guidance to the Adoption of an Inconsistency Detection Framework
With the increased popularity of replica-based services in distributed systems such as the Grid, consistency control among replicas becomes more and more important. To this end, I...
Yijun Lu, Xueming Li, Hong Jiang