3799 search results - page 609 / 760 » An Engineering Approach to Formal Methods |
137
Voted
SEKE
2004
Springer
15 years 10 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...
122
Voted
CGF
2008
15 years 5 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...
132
Voted
JSS
2008
15 years 5 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 ...
144
click to vote
SIGIR
2010
ACM
14 years 11 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...
145
click to vote
TASLP
2010
14 years 11 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...