1218 search results - page 8 / 244 » Scaling up a |
160
click to vote
KONVENS
2000
15 years 9 months ago
2000
We have developed a method to resolve ambiguities in prepositional phrase (PP) attachment in German. We measure on the one hand the cooccurrence strength between nouns (N) and pre...
79
Voted
CIKM
2008
Springer
15 years 7 months ago
2008
Springer
156
click to vote
EDBT
2008
ACM
15 years 7 months ago
2008
ACM
In peer-to-peer data management systems query allocation is a critical issue for the good operation of the system. This task is challenging because participants may prefer to perf...
151
Voted
FMCAD
2008
Springer
15 years 7 months ago
2008
Springer
We present a general approach for verifying safety properties of Lustre programs automatically. Key aspects of the approach are the choice of an expressive first-order logic in wh...