8582 search results - page 1417 / 1717 » Here or There |
270
click to vote
AMTA
2004
Springer
16 years 3 days ago
2004
Springer
The public demonstration of a Russian-English machine translation system in New York in January 1954 – a collaboration of IBM and Georgetown University – caused a great deal of...
205
Voted
BIRTHDAY
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
182
click to vote
CIA
2004
Springer
16 years 3 days ago
2004
Springer
The concept of sequential two-sided search is widely used in partnerships formation applications in various domains. However, when considering the implementation of the method in M...
185
click to vote
CONCUR
2004
Springer
16 years 3 days ago
2004
Springer
We describe the expressive power of temporal branching time logics that use the modalities EX and EF. We give a forbidden pattern characterization of the tree languages definable...
200
click to vote
CP
2004
Springer
16 years 3 days ago
2004
Springer
This paper considers the problem of transforming a resource feasible, fixed-times schedule into a partial order schedule (POS) to enhance its robustness and stability properties. ...