9049 search results - page 1739 / 1810 » The New C Standard |
SEMWEB
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. The increasing awareness of the benefits of ontologies for information processing has lead to the creation of a number of large ontologies about real world domains. The ...
VMCAI
2004
Springer
15 years 3 months ago
2004
Springer
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...
HICSS
2003
IEEE
15 years 3 months ago
2003
IEEE
Traditionally, specific telecommunications services were essentially confined to certain types of networks; e.g., television over broadcast networks or cable and voice service ove...
HPDC
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper defines and describes a fully distributed implementation of Google’s highly effective Pagerank algorithm, for “peer to peer”(P2P) systems. The implementation is ...
ICRA
2003
IEEE
15 years 3 months ago
2003
IEEE
− To facilitate training and planning for medical procedures such as prostate brachytherapy, we are developing an interactive simulation of needle insertion and radioactive seed ...