2944 search results - page 135 / 589 » On Well Quasi-orders on Languages |
89
Voted
ML
2008
ACM
15 years 21 days ago
2008
ACM
Call-by-value languages commonly restrict recursive definitions by only allowing functions and syntactically explicit values in the right-hand sides. As a consequence, some very a...
121
click to vote
OOPSLA
2010
Springer
14 years 10 months ago
2010
Springer
The usage of optimistic version control systems comes along with cumbersome and time-consuming conflict resolution in the case that the modifications of two developers are contrad...
180
click to vote
PDPTA
2010
14 years 10 months ago
2010
Lattice gas cellular automata (LGCA) models provide a relatively fast means of simulating fluid flow and can give both quantitative and qualitative insights into flow patterns aro...
120
Voted
EACL
2009
ACL Anthology
14 years 10 months ago
2009
ACL Anthology
like text summarisation requires a means of producing novel summary sentences. In order to improve the grammaticality of the generated sentence, we model a global (sentence) level...
125
click to vote
EMNLP
2009
14 years 10 months ago
2009
There have been increasing needs for task specific rankings in web search such as rankings for specific query segments like long queries, time-sensitive queries, navigational quer...