4190 search results - page 136 / 838 » Type Class Directives |
142
Voted
GISCIENCE
2010
Springer
15 years 4 months ago
2010
Springer
Researchers from the cognitive and spatial sciences are studying text descriptions of movement patterns in order to examine how humans communicate and understand spatial informatio...
128
Voted
PLDI
2000
ACM
15 years 8 months ago
2000
ACM
This paper presents a static race detection analysis for multithreaded Java programs. Our analysis is based on a formal type system that is capable of capturing many common synchr...
155
Voted
SODA
2003
ACM
15 years 5 months ago
2003
ACM
The natural relaxation for the Group Steiner Tree problem, as well as for its generalization, the Directed Steiner Tree problem, is a flow-based linear programming relaxation. We...
130
Voted
SIGIR
2008
ACM
15 years 3 months ago
2008
ACM
One of the central issues in learning to rank for information retrieval is to develop algorithms that construct ranking models by directly optimizing evaluation measures used in i...
133
Voted
WWW
2011
ACM
14 years 10 months ago
2011
ACM
Social hierarchy and stratification among humans is a well studied concept in sociology. The popularity of online social networks presents an opportunity to study social hierarch...