4902 search results - page 188 / 981 » Structures, Semantics and Statistics |
141
click to vote
VVEIS
2008
15 years 5 months ago
2008
This paper presents an executable semantics of OO models. We made it possible to conduct both simulation and theorem proving on the semantics by implementing its underlying heap me...
143
click to vote
ENTCS
2006
15 years 4 months ago
2006
We present a denotational semantics for the hardware compilation language Handel-C that maps language constructs to a set of equations, which describe the structure of the resulti...
136
click to vote
PAKDD
2010
ACM
15 years 9 months ago
2010
ACM
Abstract. Despite of the wide diversity of web-pages, web-pages residing in a particular organization, in most cases, are organized with semantically hierarchic structures. For exa...
134
click to vote
ENTCS
2007
15 years 4 months ago
2007
Abstract Machine Describing Event Structure Composition Claudia Faggian and Mauro Piccolo 1 ,2 ,3 Dipartimento di Matematica Pura e Applicata – PPS Universit´a di Padova – Par...
154
click to vote
INFORMATICALT
2007
15 years 4 months ago
2007
The paper presents, first, the Structural Blanks (SB) approach, then a method to compose loop programs. SB is an approach for expressing computations based on recurrence relations...