4193 search results - page 657 / 839 » Linking Data to Ontologies |
141
click to vote
ESI
2010
15 years 2 months ago
2010
The recent Heliophysics Virtual Observatory (VxO) effort involves the development of separate observatories with a low overlap in physical domain or area of scientific specializat...
134
click to vote
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract— Humanoid robots are appealing due to their inherent dexterity. However, these potential benefits may only be realized if the corresponding motion synthesis procedure i...
148
click to vote
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
—A fundamental challenge of managing mutable data replication in a Peer-to-Peer (P2P) system is how to efficiently maintain consistency under various sharing patterns with heter...
150
click to vote
ML
2010
ACM
15 years 2 months ago
2010
ACM
Many knowledge representation mechanisms are based on tree-like structures, thus symbolizing the fact that certain pieces of information are related in one sense or another. There ...
125
click to vote
SAS
2010
Springer
15 years 2 months ago
2010
Springer
We describe Deskcheck, a parametric static analyzer that is able to establish properties of programs that manipulate dynamically allocated memory, arrays, and integers. Deskcheck c...