1746 search results - page 278 / 350 » A Constructive Semantics for ALC |
SKG
2005
IEEE
14 years 3 months ago
2005
IEEE
The upcoming next generation of the internet, often referred to as the Semantic Web, will bring a lot of new technologies, one of which is the Web Ontology Language (OWL). One fea...
IUI
2005
ACM
14 years 3 months ago
2005
ACM
Every program tells a story. Programming, then, is the art of constructing a story about the objects in the program and what they do in various situations. So-called programming l...
PLDI
2005
ACM
14 years 3 months ago
2005
ACM
Concepts are an essential language feature for generic programming in the large. Concepts allow for succinct expression of constraints on type parameters of generic algorithms, en...
SIGIR
2005
ACM
14 years 3 months ago
2005
ACM
The bottleneck for dictionary-based cross-language information retrieval is the lack of comprehensive dictionaries, in particular for many different languages. We here introduce a...
BIRTHDAY
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Van Glabbeek (1990) presented the linear time/branching time spectrum of behavioral equivalences for finitely branching, concrete, sequential processes. He studied these...