1416 search results - page 29 / 284 » An Exact Interpretation of While |
ELPUB
2007
ACM
15 years 1 months ago
2007
ACM
While some file-formats become unreadable after short periods, others remain interpretable over a long-term.
AAAI
1998
14 years 11 months ago
1998
The problem of recognizing mathematical expressions differs significantly from the recognition of standard prose. While in prose significant constraints can be put on the interpre...
CONCUR
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We study the expressiveness of finite message-passing automata with a priori unbounded FIFO channels and show them to capture exactly the class of MSC languages that are...
ICALP
2004
Springer
15 years 3 months ago
2004
Springer
We consider the multiplicative and exponential fragment of linear logic (MELL) and give a Geometry of Interaction (GoI) semantics for it based on unique decomposition categories. ...
NIPS
2000
14 years 11 months ago
2000
An on-line recursive algorithm for training support vector machines, one vector at a time, is presented. Adiabatic increments retain the KuhnTucker conditions on all previously se...