Sciweavers

887 search results - page 62 / 178
» A Science of Reasoning
Sort
View
TPHOL
1997
IEEE
15 years 2 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
175
Voted

Publication
383views
16 years 10 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
149
Voted

Publication
281views
16 years 10 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
208
Voted

Presentation
2169views
16 years 8 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
173
Voted

Book
3022views
16 years 7 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