2374 search results - page 32 / 475 » The language of machines |
167
click to vote
ISMIS
2005
Springer
15 years 11 months ago
2005
Springer
In this paper, we adapt a statistical learning approach, inspired by automated topic segmentation techniques in speech-recognized documents to the challenging protein segmentation ...
150
click to vote
ASM
2005
ASM
15 years 11 months ago
2005
ASM
We consider a specific kind of Abstract State Machines. It is shown how the machines can be used to provide a low-level formal semantics for a tiny object-oriented language, inclu...
ICLP
2007
Springer
16 years 7 days ago
2007
Springer
TALIP
2010
15 years 25 days ago
2010
163
click to vote
PTS
2008
15 years 7 months ago
2008
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...