31387 search results - page 28 / 6278 » Abstracting abstract machines |
175
click to vote
ICSE
2007
IEEE-ACM
15 years 11 months ago
2007
IEEE-ACM
Abstract. We describe an approach to designing and implementing a distributed system as a family of related finite state machines, generated from a single abstract model. Various a...
131
Voted
IFL
2005
Springer
15 years 11 months ago
2005
Springer
Abstract Starting with an evaluator for a language, an abstract machine for the same language can be mechanically derived using successive program transformations. This has relevan...
138
click to vote
ICCS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Representation of knowledge is used to store and retrieve informational data in a machine. Since meaning cannot be directly stored in the computer; this work proposes a s...
192
click to vote
EACL
2006
ACL Anthology
15 years 7 months ago
2006
ACL Anthology
We propose a backoff model for phrasebased machine translation that translates unseen word forms in foreign-language text by hierarchical morphological abstractions at the word an...