2214 search results - page 352 / 443 » Complexity of Reasoning |
TCS
2010
15 years 1 months ago
2010
We define a program semantics that is preserved by dependence-based slicing algorithms. It is a natural extension, to non-terminating programs, of the semantics introduced by Wei...
126
click to vote
TVCG
2010
15 years 1 months ago
2010
As data sources become larger and more complex, the ability to effectively explore and analyze patterns amongst varying sources becomes a critical bottleneck in analytic reasoning...
156
click to vote
BMVC
2010
15 years 1 months ago
2010
Gaussian processes have been widely used as a method for inferring the pose of articulated bodies directly from image data. While able to model complex non-linear functions, they ...
131
click to vote
BMVC
2010
15 years 1 months ago
2010
Image auto-annotation is a challenging task in computer vision. The goal of this task is to predict multiple words for generic images automatically. Recent state-of-theart methods...
157
click to vote
ICDCS
2010
IEEE
15 years 1 months ago
2010
IEEE
Advances in wireless vehicular networks present us with opportunities for developing new distributed traffic control algorithms that avoid phenomena such as abrupt phase-transition...