1364 search results - page 178 / 273 » Comparative Branching-Time Semantics |
113
Voted
SIGIR
2008
ACM
15 years 3 months ago
2008
ACM
Over the years, the notion of concept relatedness has attracted considerable attention. A variety of approaches, based on ontology structure, information content, association, or ...
112
Voted
IVC
2007
15 years 3 months ago
2007
Thousands of images are generated every day, which implies the necessity to classify, organise and access them using an easy, faster and efficient way. Scene classification, the ...
111
Voted
JOLLI
2007
15 years 3 months ago
2007
Every pregroup grammar is shown to be strongly equivalent to one which uses basic types and left and right adjoints of basic types only. Therefore a semantical interpretation is i...
132
Voted
CN
2002
15 years 3 months ago
2002
XML is a now a dominant standard for storing and exchanging information. With its increasing use in areas such as data warehousing and e-commerce, there is a rapidly growing need ...
248
click to vote
ENTCS
2002
15 years 3 months ago
2002
Elf is a general meta-language for the specification and implementation of logical systems in the style of the logical framework LF. Proof search in this framework is based on the...