1416 search results - page 29 / 284 » An Exact Interpretation of While |
ELPUB
2007
ACM
14 years 19 days ago
2007
ACM
While some file-formats become unreadable after short periods, others remain interpretable over a long-term.
AAAI
1998
13 years 10 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
14 years 2 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
14 years 2 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
13 years 10 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...