464 search results - page 62 / 93 » Modeling Semantic Constraints with Logic in the EARL Data Mo... |
INTERACTION
2009
ACM
15 years 4 months ago
2009
ACM
DTD and its instance have been considered the standard for data representation and information exchange format on the current web. However, when coming to the next generation of w...
88
Voted
CSL
2009
Springer
15 years 4 months ago
2009
Springer
Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level language...
TCSV
2002
14 years 9 months ago
2002
Video query by semantic keywords is one of the most challenging research issues in video data management. To go beyond low-level similarity and access video data content by semanti...
BMCBI
2010
14 years 10 months ago
2010
Background: Biomedical research is set to greatly benefit from the use of semantic web technologies in the design of computational infrastructure. However, beyond well defined res...
HICSS
2009
IEEE
15 years 5 months ago
2009
IEEE
The requirement for power system operators to respond more efficiently to the stressed power system conditions that may create large number of alarms asks fort advanced alarm proc...