4199 search results - page 193 / 840 » Generalizing Data in Natural Language |
157
click to vote
PADL
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. Skeletons simplify parallel programming by providing general patterns of parallel computations. When several skeletons are used inside the same program, skeleton composit...
330
click to vote
PLDI
2009
ACM
16 years 7 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
174
click to vote
SDM
2003
SIAM
15 years 7 months ago
2003
SIAM
A lack of power and extensibility in their query languages has seriously limited the generality of DBMSs and hampered their ability to support data mining applications. Thus, ther...
153
click to vote
LREC
2008
15 years 7 months ago
2008
The development of natural language processing (NLP) components is resource-intensive and therefore justifies exploring ways of reducing development time and effort when building ...
160
click to vote
SP
2003
IEEE
15 years 11 months ago
2003
IEEE
Language run-time systems are often called upon to safely execute mutually distrustful tasks within the same runtime, protecting them from other tasks’ bugs or otherwise hostile...