441 search results - page 79 / 89 » Benchmarking Technique in E-Business Using the Galileo Metho... |
114
Voted
ICCV
2009
IEEE
16 years 6 months ago
2009
IEEE
A key ingredient in the design of visual object classification
systems is the identification of relevant class specific
aspects while being robust to intra-class variations. Whil...
214
click to vote
POPL
2009
ACM
16 years 2 months ago
2009
ACM
We present a proof calculus and method for the static verification of assertions and procedure specifications in shared-memory concurrent programs. The key idea in our approach is...
ISOLA
2004
Springer
15 years 7 months ago
2004
Springer
Methods for Worst-Case Execution Time (WCET) analysis have been known for some time, and recently commercial tools have emerged. However, the technique has so far not been much use...
134
Voted
PAMI
2010
15 years 6 days ago
2010
—Representative surface reconstruction algorithms taking a gradient field as input enforces the integrability constraint in a discrete manner. While enforcing integrability allo...
122
click to vote
NN
2008
Springer
15 years 1 months ago
2008
Springer
In the study of information flow in the nervous system, component processes can be investigated using a range of electrophysiological and imaging techniques. Although data is diff...