Sciweavers

17770 search results - page 3513 / 3554
» A Generalization of Forward-Backward Algorithm
Sort
View
CORR
2008
Springer
133views Education» more  CORR 2008»
14 years 9 months ago
Emergence of Spontaneous Order Through Neighborhood Formation in Peer-to-Peer Recommender Systems
The advent of the Semantic Web necessitates paradigm shifts away from centralized client/server architectures towards decentralization and peer-to-peer computation, making the exi...
Ernesto Diaz-Aviles, Lars Schmidt-Thieme, Cai-Nico...
DSS
2008
186views more  DSS 2008»
14 years 9 months ago
A machine learning approach to web page filtering using content and structure analysis
As the Web continues to grow, it has become increasingly difficult to search for relevant information using traditional search engines. Topic-specific search engines provide an al...
Michael Chau, Hsinchun Chen
AMC
2006
104views more  AMC 2006»
14 years 9 months ago
Three counterexamples refuting Kieu's plan for "quantum adiabatic hypercomputation"; and some uncomputable quantum mechanical ta
-- Tien D. Kieu, in 10 papers posted to the quant-ph section of the xxx.lanl.gov preprint archive [some of which were also published in printed journals such as Proc. Royal Soc. A ...
Warren D. Smith
ENTCS
2008
140views more  ENTCS 2008»
14 years 9 months ago
Higher-Order Separation Logic in Isabelle/HOLCF
We formalize higher-order separation logic for a first-order imperative language with procedures and local variables in Isabelle/HOLCF. The assertion language is modeled in such a...
Carsten Varming, Lars Birkedal
82
Voted
ESWA
2008
173views more  ESWA 2008»
14 years 9 months ago
Image semantics discovery from web pages for semantic-based image retrieval using self-organizing maps
Traditional content-based image retrieval (CBIR) systems often fail to meet a user's need due to the `semantic gap' between the extracted features of the systems and the...
Hsin-Chang Yang, Chung-Hong Lee
« Prev « First page 3513 / 3554 Last » Next »