4902 search results - page 349 / 981 » Structures, Semantics and Statistics |
175
click to vote
CAI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. GP (for Graph Programs) is a rule-based, nondeterministic programming language for solving graph problems at a high level of abstraction, freeing programmers from handlin...
184
click to vote
TLCA
2007
Springer
16 years 25 days ago
2007
Springer
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...
169
click to vote
MEMOCODE
2003
IEEE
16 years 3 hour ago
2003
IEEE
Several efficient compilation techniques have been recently proposed for the generation of sequential (C) code from Esterel programs. Consisting essentially in direct simulation ...
172
click to vote
ICIP
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper proposes two DSs to describe the visual information of an AV document. The first one, is devoted to still images. It describes the image visual appearance and its struc...
180
click to vote
INFOVIS
1999
IEEE
15 years 11 months ago
1999
IEEE
ct Constellation is a visualization system for the results of queries from the MindNet natural language semantic network. Constellation is targeted at helping MindNet's creato...