3408 search results - page 347 / 682 » Logic, language, information and computation |
174
click to vote
ACMDIS
2000
ACM
15 years 11 months ago
2000
ACM
To create successful interactive systems, user interface designers need to cooperate with developers and application domain experts in an interdisciplinary team. These groups, how...
214
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
Previous work on Natural Language Processing for Information Retrieval has shown the inadequateness of semantic and syntactic structures for both document retrieval and categoriza...
171
click to vote
GRID
2004
Springer
16 years 6 days ago
2004
Springer
In this paper we report experience in the use of computational grids in the domain of natural language processing, particularly in the area of information extraction, to create qu...
227
Voted
ACSW
2003
15 years 8 months ago
2003
Pervasive systems require context awareness in order to be able to provide “anywhere, anytime” computing to mobile users. One type of context information is location informati...
203
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
We present the first machine-checked correctness proof for information flow control (IFC) based on program dependence graphs (PDGs). IFC based on slicing and PDGs is flow-sensi...