3408 search results - page 344 / 682 » Logic, language, information and computation |
215
click to vote
IUI
2006
ACM
16 years 23 days ago
2006
ACM
Studying the relationship between natural language and affective information as well as assessing the underpinned affective qualities of natural language are becoming crucial for ...
209
click to vote
IDC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Based on the plethora of proposals and standards for logic- and rulebased reasoning for the Semantic Web (SW), a key factor for the success of SW agents is interoperabili...
176
click to vote
IPPS
2003
IEEE
16 years 2 days ago
2003
IEEE
This paper investigates a complexity-effective technique for verifying a highly distributed directory-based cache coherence protocol. We develop a novel approach called “witnes...
173
click to vote
PSB
2010
15 years 4 months ago
2010
teness of the knowledge bases, our approach also obtains facts through automated extraction from Medline abstracts. An essential component of our approach is to apply logical reaso...
192
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
Program errors are a source of information leaks. Tracking these leaks is hard because error propagation breaks out of program structure. Programming languages often feature excep...