3825 search results - page 282 / 765 » The Language of Time: A Reader |
153
click to vote
ICALP
1995
Springer
15 years 10 months ago
1995
Springer
We consider the problem of preprocessing an n-vertex digraph with real edge weights so that subsequent queries for the shortest path or distance between any two vertices can be efï...
157
click to vote
BIRTHDAY
2008
Springer
15 years 8 months ago
2008
Springer
One of the surprising developments in the area of program verification is how ideas introduced originally by logicians in the 1950s ended up yielding by 2003 an industrial-standard...
174
click to vote
ESOP
2008
Springer
15 years 8 months ago
2008
Springer
We present a static analysis for inferring the maximum amount of buffer space used by a program consisting of concurrently running processes communicating via buffered channels. We...
127
click to vote
AAAI
2010
15 years 8 months ago
2010
Research on information extraction (IE) seeks to distill relational tuples from natural language text, such as the contents of the WWW. Most IE work has focussed on identifying st...
185
click to vote
EACL
2006
ACL Anthology
15 years 8 months ago
2006
ACL Anthology
Most state-of-the-art evaluation measures for machine translation assign high costs to movements of word blocks. In many cases though such movements still result in correct or alm...