951 search results - page 185 / 191 » Suggestions for OWL 3 |
108
click to vote
SPIN
2010
Springer
15 years 5 days ago
2010
Springer
Abstract. Context-Bounded Analysis has emerged as a practical automatic formal analysis technique for fine-grained, shared-memory concurrent software. Two recent papers (in CAV 20...
144
Voted
ICPR
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--Boosting covariance data on Riemannian manifolds has proven to be a convenient strategy in a pedestrian detection context. In this paper we show that the detection perfor...
117
click to vote
ICSE
2010
IEEE-ACM
14 years 11 months ago
2010
IEEE-ACM
Detailed knowledge about implemented concerns in the source code is crucial for the cost-effective maintenance and successful evolution of large systems. Concern mining techniques...
156
Voted
HVEI
2009
14 years 11 months ago
2009
The appearance of objects in scenes is determined by their shape, material properties and by the light field, and, in contradistinction, the appearance of those objects provides u...
111
Voted
CSCW
2010
ACM
14 years 11 months ago
2010
ACM
This paper addresses the collaborative development of information infrastructure for supporting data-rich scientific collaboration. Studying infrastructure development empirically ...