Sciweavers

8266 search results - page 396 / 1654
» Information About the Journal
Sort
View
197
Voted
CORR
2007
Springer
117views Education» more  CORR 2007»
15 years 6 months ago
Dynamic Logic of Common Knowledge in a Proof Assistant
Common knowledge logic is meant to describe situations of the real world where a group of agents is involved. These agents share knowledge and make strong hypotheses on the knowled...
Pierre Lescanne, Jérôme Puissé...
JMLR
2006
135views more  JMLR 2006»
15 years 6 months ago
Quantile Regression Forests
Random forests were introduced as a machine learning tool in Breiman (2001) and have since proven to be very popular and powerful for high-dimensional regression and classificatio...
Nicolai Meinshausen
ENTCS
2007
97views more  ENTCS 2007»
15 years 6 months ago
A Head-to-Head Comparison of de Bruijn Indices and Names
Often debates about pros and cons of various techniques for formalising lambda-calculi rely on subjective arguments, such as de Bruijn indices are hard to read for humans or nomin...
Stefan Berghofer, Christian Urban
IJKL
2007
90views more  IJKL 2007»
15 years 6 months ago
Semantics-supported cooperative learning for enhanced awareness
: Awareness is required for supporting all forms of cooperation. In Computer Supported Collaborative Learning (CSCL), awareness can be used for enhancing collaborative opportunitie...
César A. Collazos, Roberto Garcia
170
Voted
AIR
2002
65views more  AIR 2002»
15 years 6 months ago
User Modeling for Personalized City Tours
Several current support systems for travel and tourism are aimed at providing information in a personalized manner, taking users' interests and preferences into account. In t...
Josef Fink, Alfred Kobsa