12946 search results - page 2355 / 2590 » Natural Language Processing |
316
click to vote
ASPLOS
2009
ACM
16 years 7 months ago
2009
ACM
The wide availability of commodity graphics processors has made real-time graphics an intrinsic component of the human/computer interface. These graphics cores accelerate the z-bu...
287
click to vote
POPL
2002
ACM
16 years 6 months ago
2002
ACM
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...
295
click to vote
SIGMOD
2009
ACM
16 years 6 months ago
2009
ACM
This paper presents SELinks, a programming language focused on building secure multi-tier web applications. SELinks provides a uniform programming model, in the style of LINQ and ...
279
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
Querying XML effectively and efficiently using declarative languages such as XQuery and XPath has been widely studied in both academic and industrial settings. Most RDBMS vendors ...
242
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
To compensate for the inherent impedance mismatch between the relational data model (tables of tuples) and XML (ordered, unranked trees), tree join algorithms have become the prev...