1823 search results - page 300 / 365 » Formal specification: a roadmap |
ICWSM
2010
13 years 9 months ago
2010
Microblogging concurrently with live media events is becoming commonplace. The resulting comment stream represents a parallel, social conversational reflection on the event. Altho...
DAGSTUHL
2008
13 years 9 months ago
2008
The construction of computational cognitive models integrating the connectionist and symbolic paradigms of artificial intelligence is a standing research issue in the field. The co...
LREC
2010
13 years 9 months ago
2010
Although the Semantic web is steadily gaining in popularity, it remains a mystery to a large percentage of Internet users. This can be ed to the complexity of the technologies tha...
LREC
2010
13 years 9 months ago
2010
Ontologies, and in particular upper ontologies, are foundational to the establishment of the Semantic Web. Upper ontologies are used as equivalence formalisms between domain speci...
ECIR
2007
Springer
13 years 9 months ago
2007
Springer
This paper extends previous work on document retrieval and document type classification, addressing the problem of ‘typed search’. Specifically, given a query and a designated ...