Sciweavers

950 search results - page 32 / 190
» Machine semantics
Sort
View
DLT
2006
15 years 5 months ago
Can Abstract State Machines Be Useful in Language Theory?
ract State Machines Be Useful in Language Theory? Yuri Gurevich a Margus Veanes a Charles Wallace b aMicrosoft Research, Redmond, Washington, USA bMichigan Tech, Houghton, Michigan...
Yuri Gurevich, Charles Wallace
132
Voted
EUROMICRO
2009
IEEE
15 years 8 months ago
Formal Semantics of the ProCom Real-Time Component Model
ProCom is a new component model for real-time and embedded systems, targeting the domains of vehicular and telecommunication systems. In this paper, we describe how the architectur...
Aneta Vulgarakis, Jagadish Suryadevara, Jan Carlso...
DAS
2004
Springer
15 years 9 months ago
An Integrated Approach for Automatic Semantic Structure Extraction in Document Images
In this paper we present an integrated approach for semantic structure extraction in document images. Document images are initially processed to extract both their layout and logic...
Margherita Berardi, Michele Lapi, Donato Malerba
TRS
2008
15 years 4 months ago
A Model of User-Oriented Reduct Construction for Machine Learning
An implicit assumption of many machine learning algorithms is that all attributes are of the same importance. An algorithm typically selects attributes based solely on their statis...
Yiyu Yao, Yan Zhao, Jue Wang, Suqing Han
ECOOP
2007
Springer
15 years 10 months ago
A Machine Model for Aspect-Oriented Programming
Abstract. Aspect-oriented programming languages usually are extensions of object-oriented ones, and their compilation target is usually the (virtual) machine model of the language ...
Michael Haupt, Hans Schippers