1218 search results - page 8 / 244 » Scaling up a |
KONVENS
2000
13 years 11 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...
ESEC
1991
Springer
13 years 11 months ago
1991
Springer
CIKM
2008
Springer
13 years 9 months ago
2008
Springer
EDBT
2008
ACM
13 years 9 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...
FMCAD
2008
Springer
13 years 9 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...