3690 search results - page 689 / 738 » Computation with classical sequents |
EMMCVPR
2011
Springer
12 years 10 months ago
2011
Springer
The recently proposed ImageNet dataset consists of several million images, each annotated with a single object category. However, these annotations may be imperfect, in the sense t...
HUC
2011
Springer
12 years 10 months ago
2011
Springer
While the sun is important for our health, overexposure to sunlight carries significant health risks ranging from sunburn to skin cancer. Although people know about these risks, ...
HUC
2011
Springer
12 years 10 months ago
2011
Springer
Interactive surfaces like diffuse illumination tabletops (DIT) identify and track objects using multiple techniques like shape and color recognition, fiducial markers, electronic...
HUC
2011
Springer
12 years 10 months ago
2011
Springer
GPS-equipped taxis can be viewed as pervasive sensors and the large-scale digital traces produced allow us to reveal many hidden “facts” about the city dynamics and human beha...
STACS
2012
Springer
12 years 6 months ago
2012
Springer
A mode of a multiset S is an element a ∈ S of maximum multiplicity; that is, a occurs at least as frequently as any other element in S. Given an array A[1 : n] of n elements, we...