3799 search results - page 609 / 760 » An Engineering Approach to Formal Methods |
158
click to vote
SEKE
2004
Springer
15 years 11 months ago
2004
Springer
People often use software for mundane tasks and expect it to be dependable enough for their needs. Unfortunately, the incomplete and imprecise specifications of such everyday sof...
149
click to vote
CGF
2008
15 years 6 months ago
2008
We present an acoustic rendering approach visualizing the listener-specific contribution of frequency-dependent pressure fields on a scene geometry with acoustic reflection and sc...
158
click to vote
JSS
2008
15 years 6 months ago
2008
We propose an approach for analyzing software architectures with respect to reliability to improve fault tolerance. The approach defines a failure scenario model that is based on ...
171
click to vote
SIGIR
2010
ACM
15 years 1 months ago
2010
ACM
With the ever-increasing growth of the Internet, numerous copies of documents become serious problem for search engine, opinion mining and many other web applications. Since parti...
163
click to vote
TASLP
2010
15 years 1 months ago
2010
We present an approach to music identification based on weighted finite-state transducers and Gaussian mixture models, inspired by techniques used in large-vocabulary speech recogn...