378 search results - page 47 / 76 » From Natural Semantics to Abstract Machines |
ICCAD
2000
IEEE
14 years 22 hour ago
2000
IEEE
Most hardware description frameworks, whether schematic or textual, use cooperating finite state machines (CFSM) as the underlying abstraction. In the CFSM framework, a designer ...
DAGSTUHL
2007
13 years 9 months ago
2007
act notation, so separating the abstract syntax and semantics of the language constructs from their different concrete notations. Although the foundation constituents of the MDE a...
CMSB
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. CBS is a Calculus of Biochemical Systems intended to allow the modelling of metabolic, signalling and regulatory networks in a natural and modular manner. In this paper w...
ALT
2003
Springer
13 years 11 months ago
2003
Springer
Abstract. Inductive inference can be considered as one of the fundamental paradigms of algorithmic learning theory. We survey results recently obtained and show their impact to pot...
WWW
2008
ACM
14 years 8 months ago
2008
ACM
The combined efforts of human volunteers have recently extracted numerous facts from Wikipedia, storing them as machine-harvestable object-attribute-value triples in Wikipedia inf...