426 search results - page 21 / 86 » C Annotations |
CORR
2010
Springer
13 years 8 months ago
2010
Springer
We discuss the problem of building a compiler which can lift in a provably correct way pieces of information on the execution cost of the object code to cost annotations on the so...
WWW
2005
ACM
14 years 9 months ago
2005
ACM
Without the proliferation of formal semantic annotations, the Semantic Web is certainly doomed to failure. In earlier work we presented a new paradigm to avoid this: the 'Sel...
CVPR
2009
IEEE
15 years 3 months ago
2009
IEEE
In this paper, we wish to build a high quality database of
images depicting scenes, along with their real-world threedimensional
(3D) coordinates. Such a database is useful
for ...
DASFAA
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract. Warehousing heterogeneous, dynamic biological data is a key technique for biological data integration as it greatly improves performance. However, it requires complex mai...
AOSD
2007
ACM
14 years 14 days ago
2007
ACM
The last couple of years, various idioms used in the 15 MLOC C code base of ASML, the world's biggest lithography machine manufacturer, have been unmasked as crosscutting con...