205 search results - page 18 / 41 » The Use of a Formal Representation of Accounting Standards |
INTERACTION
2009
ACM
14 years 1 days ago
2009
ACM
In this paper, we present the core concept and the benefits of an approach called RoboEarth which will be highly beneficial for future robotic applications in science and industry...
TMI
2010
13 years 2 months ago
2010
Abstract--We aim at improving quantitative measures of emphysema in computed tomography (CT) images of the lungs. Current standard measures, such as the relative area of emphysema ...
RAS
2008
13 years 6 months ago
2008
Even the best laid plans can fail, and robot plans executed in real world domains tend to do so often. The ability of a robot to reliably monitor the execution of plans and detect...
PAMI
2012
11 years 9 months ago
2012
—We propose an efficient and robust solution for image set classification. A joint representation of an image set is proposed which includes the image samples of the set and thei...
SAS
2004
Springer
14 years 22 days ago
2004
Springer
Array-Range Analysis computes at compile time the range of possible index values for each array-index expression in a program. This information can be used to detect potential out-...