4212 search results - page 270 / 843 » Rights Expression Languages |
176
click to vote
TPHOL
2007
IEEE
16 years 26 days ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
170
click to vote
COST
2007
Springer
16 years 23 days ago
2007
Springer
The paper addresses the issue of making Virtual Humans unique and typical of some (social or ethnical) group, by endowing them with style. First a conceptual framework of defining ...
183
click to vote
ESWS
2007
Springer
16 years 23 days ago
2007
Springer
State-of-the-art research on automated learning of ontologies from text currently focuses on inexpressive ontologies. The acquisition of complex axioms involving logical connective...
132
click to vote
ECOOP
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Dependency injection is a hot topic among industrial developers using component frameworks. This paper first mentions that dependency injection and aspect-oriented progr...
138
Voted
ICANN
2005
Springer
16 years 3 days ago
2005
Springer
Although the combination of OWL and Horn rules results in the creation of a highly expressive language, i.e. SWRL, there are still many occasions where this language fails to accur...