2395 search results - page 443 / 479 » Reasoning in Semantic Wikis |
146
click to vote
SEMWEB
2009
Springer
16 years 17 days ago
2009
Springer
Traditional object-oriented programming languages can be difficult to use when working with ontologies, leading to the creation of domain-specific languages designed specifically...
182
click to vote
MM
2009
ACM
16 years 16 days ago
2009
ACM
The main difficulty in face image modeling is to decompose those semantic factors contributing to the formation of the face images, such as identity, illumination and pose. One p...
178
click to vote
SACMAT
2009
ACM
16 years 16 days ago
2009
ACM
In both the commercial and defense sectors a compelling need is emerging for highly dynamic, yet risk optimized, sharing of information across traditional organizational boundarie...
167
click to vote
EMSOFT
2007
Springer
16 years 6 days ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
174
click to vote
OOPSLA
2007
Springer
16 years 5 days ago
2007
Springer
Abstract. Object-oriented language concepts have been highly successful, resulting in a large number of object-oriented languages and language extensions. Unfortunately, formal met...