6306 search results - page 258 / 1262 » Space, Time, and the Use of Language |
193
click to vote
FTCS
1998
15 years 8 months ago
1998
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
184
click to vote
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
Partitioning is a time consuming and computationally complex optimization problem in the codesign of hardware software systems. The stringent time-to-market requirements have resu...
227
click to vote
ACL
1998
15 years 8 months ago
1998
We introduce a stochastic grammatical channel model for machine translation, that synthesizes several desirable characteristics of both statistical and grammatical machine transla...
217
click to vote
POS
1994
Springer
15 years 11 months ago
1994
Springer
We consider some issues in optimizing persistent programming languages. In particular, we show how to express optimizations of object residency checks in strongly typed persistent...
182
click to vote
ACL
1998
15 years 8 months ago
1998
Knowledge acquisition is a serious bottleneck for natural language understanding systems. For this reason, large-scale linguistic resources have been compiled and made available b...