7124 search results - page 257 / 1425 » Programming Languages and Operating Systems |
168
click to vote
ANLP
1994
15 years 8 months ago
1994
This paper presents Delphi, the natural language component of the BBN Spoken Language System. Delphi is a domainindependent natural language question answering system that is soli...
169
click to vote
ICFP
2000
ACM
15 years 11 months ago
2000
ACM
We show that standard formulations of intersection type systems are unsound in the presence of computational effects, and propose a solution similar to the value restriction for ...
170
click to vote
CC
2010
Springer
16 years 1 months ago
2010
Springer
The problem of locally transforming or translating programs without altering their semantics is central to the construction of correct compilers. For concurrent shared-memory progr...
168
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
c Modular Abstractions for Template Numerical Constraints David Monniaux May 26, 2010 We propose a method for automatically generating abstract transformstatic analysis by abstrac...
167
click to vote
ATAL
2005
Springer
16 years 5 days ago
2005
Springer
A multi-agent system is a useful approach for the complex systems. One of the important concepts of multi-agent systems is cooperativeness, or interactions. However, existing lang...