Sciweavers

988 search results - page 165 / 198
» Report on the XBase Project
Sort
View
IR
2010
15 years 2 months ago
LETOR: A benchmark collection for research on learning to rank for information retrieval
LETOR is a benchmark collection for the research on learning to rank for information retrieval, released by Microsoft Research Asia. In this paper, we describe the details of the L...
Tao Qin, Tie-Yan Liu, Jun Xu, Hang Li
137
Voted
ITP
2010
172views Mathematics» more  ITP 2010»
15 years 2 months ago
Automated Machine-Checked Hybrid System Safety Proofs
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
Herman Geuvers, Adam Koprowski, Dan Synek, Eelis v...
153
Voted
JMLR
2010
115views more  JMLR 2010»
15 years 2 months ago
Message-passing for Graph-structured Linear Programs: Proximal Methods and Rounding Schemes
The problem of computing a maximum a posteriori (MAP) configuration is a central computational challenge associated with Markov random fields. There has been some focus on “tr...
Pradeep Ravikumar, Alekh Agarwal, Martin J. Wainwr...
147
Voted
SIGSOFT
2010
ACM
15 years 2 months ago
Why do we need personality diversity in software engineering?
Diversity of skills is good for society, it is also good in problem solving because different people see a problem from several perspectives, so diversity should be good for softw...
Luiz Fernando Capretz, Faheem Ahmed
TGIS
2010
142views more  TGIS 2010»
15 years 2 months ago
The Experience of Realizing a Semantic Web Urban Computing Application
Urban Computing is a branch of Pervasive Computing that investigates urban settings and everyday lifestyles. A lot of information to develop pervasive applications for urban enviro...
Emanuele Della Valle, Irene Celino, Daniele Dell'A...