1828 search results - page 102 / 366 » From Features to Semantics: Some Preliminary Results |
104
click to vote
MEMOCODE
2003
IEEE
15 years 6 months 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 ...
155
click to vote
FORTE
2011
14 years 5 months ago
2011
We present a new, streamlined language of global types equipped with a trace-based semantics and whose features and restrictions are semantically justified. The multi-party sessio...
102
click to vote
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
76
Voted
LREC
2010
15 years 3 months ago
2010
In this paper, we present a system to aid human annotation of semantic information in the scope of the project AC/DC, called corte-e-costura. This system leverages on the human an...
115
click to vote
JDCTA
2010
14 years 8 months ago
2010
An efficient method to segment eyed typhoon from a satellite cloud image is proposed. First, original satellite cloud image is enhanced by gray transform. Second, in order to redu...