31387 search results - page 28 / 6278 » Abstracting abstract machines |
ICSE
2007
IEEE-ACM
14 years 4 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...
IFL
2005
Springer
14 years 3 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...
ICTAI
2010
IEEE
13 years 7 months ago
2010
IEEE
The abstract goes here.
ICCS
2007
Springer
14 years 4 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...
EACL
2006
ACL Anthology
13 years 11 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...