634 search results - page 115 / 127 » NLP (Natural Language Processing) for NLP (Natural Language ... |
CORR
2007
Springer
13 years 8 months ago
2007
Springer
Deployment of distributed applications on large systems, and especially on grid infrastructures, becomes a more and more complex task. Grid users spend a lot of time to prepare, in...
IFL
2007
Springer
14 years 2 months ago
2007
Springer
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...
CCS
2004
ACM
14 years 2 months ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
COGSR
2011
13 years 3 months ago
2011
We present an application of the analytical inductive programming system Igor to learning sets of recursive rules from positive experience. We propose that this approach can be us...
IPPS
2009
IEEE
14 years 3 months ago
2009
IEEE
Graphics Processing Units (GPUs) have been growing in popularity due to their impressive processing capabilities, and with general purpose programming languages such as NVIDIA’s...