Sciweavers

24451 search results - page 4581 / 4891
» Research methods in information
Sort
View
CORR
2010
Springer
66views Education» more  CORR 2010»
15 years 6 months ago
Certifying cost annotations in compilers
We discuss the problem of building a compiler which can lift in a provably correct way pieces of information on the execution cost of the object code to cost annotations on the so...
Roberto M. Amadio, Nicholas Ayache, Yann Ré...
CORR
2008
Springer
234views Education» more  CORR 2008»
15 years 6 months ago
Bayesian Compressive Sensing via Belief Propagation
Compressive sensing (CS) is an emerging field based on the revelation that a small collection of linear projections of a sparse signal contains enough information for stable, sub-N...
Dror Baron, Shriram Sarvotham, Richard G. Baraniuk
124
Voted
CPHYSICS
2008
97views more  CPHYSICS 2008»
15 years 6 months ago
2D fluid modeling of the ASDEX upgrade scrape-off layer up to the first wall
We present an application to the full ASDEX Upgrade edge plasma of a novel method for 2D fluid modeling, including for the first time a realistic representation of the First Wall....
F. Subba, Xavier Bonnin, David Coster, R. Zanino
182
Voted
CSCW
2008
ACM
15 years 6 months ago
Sotto Voce:  Facilitating Social Learning in a Historic House
This study examines visitors' use of two different electronic guidebook prototypes, the second an iteration of the first, that were developed to support social interaction bet...
Margaret H. Szymanski, Paul M. Aoki, Rebecca E. Gr...
DSS
2008
133views more  DSS 2008»
15 years 6 months ago
A semantic-expansion approach to personalized knowledge recommendation
The rapid propagation of the Internet and information technologies has changed the nature of many industries. Fast response and personalized recommendations have become natural tr...
Ting-Peng Liang, Yung-Fang Yang, Deng-Neng Chen, Y...
« Prev « First page 4581 / 4891 Last » Next »