Sciweavers

887 search results - page 62 / 178
» A Science of Reasoning
Sort
View
TPHOL
1997
IEEE
14 years 1 months ago
An Isabelle-Based Theorem Prover for VDM-SL
This note lists references which address –in some way or another– the problems relating to formal manipulation of logical expressions where terms can fail to denote. Reference...
Sten Agerholm, Jacob Frost

Publication
383views
15 years 9 months ago
The Cathedral and the Bazaar
Ever wondered why open source finally yields products that work? Eric Raymod discusses that in this paper using the bazaar as a metaphor for open source hacker developed software t...
Eric Raymond

Publication
281views
15 years 8 months ago
Modeling Image Textures by Gibbs Random Fields
Drawbacks of the traditional scenario of image modeling by Gibbs random fields with multiple pairwise pixel interactions are outlined, and a more reasonable alternative scenario b...
Georgy Gimel'farb

Presentation
2169views
15 years 7 months ago
Wireless Access Networks: Recent Developments, Issues and Trends
Broadband access is quickly becoming ubiquitous. Among the technologies for access, wireless is becoming the preferred technology for reasons of mobility, cost, and convenience. In...
Raj Jain

Book
3022views
15 years 6 months ago
Spectral Audio Signal Processing
"The focus of this book is on spectral modeling applied to audio signals. Spectral modeling has two main components: analysis and synthesis. We analyze sound in terms of spect...
Julius O. Smith III