1746 search results - page 120 / 350 » A Constructive Semantics for ALC |
105
click to vote
AISC
2008
Springer
15 years 6 months ago
2008
Springer
Intergeo is a European project dedicated to the sharing of interactive geometry constructions. This project is setting up an annotation and search web platform which will offer and...
135
click to vote
COLING
1990
15 years 5 months ago
1990
Mandarin Chinese is a highly flexible and context-sensitive language. It is difficult to do the case marking and index assignment during the parsing of Chinese sentences. This pap...
138
click to vote
SIGSOFT
2009
ACM
16 years 5 months ago
2009
ACM
Parallel changes are becoming increasingly prevalent in the development of large scale software system. To further study the relationship between parallel changes and faults, we h...
163
click to vote
TCSV
2002
15 years 4 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...
134
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
In functional programming, monadic characterizations of computational effects are normally understood denotationally: they describe how an effectful program can be systematically ...