1283 search results - page 162 / 257 » Science: the rules of the game |
172
click to vote
RTA
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. Interaction nets are a graphical formalism inspired by Linear Logic proof-nets often used for studying higher order rewriting e.g. β-reduction. Traditional presentations...
183
click to vote
IMSCCS
2007
IEEE
16 years 19 days ago
2007
IEEE
To analyze the linear correlations of numeric attributes of government data, this paper proposes a method based on the clustering algorithm. A clustering method is adopted to prun...
145
click to vote
GI
2007
Springer
16 years 14 days ago
2007
Springer
: The fusion of data from different sensorial sources is the most promising method to increase robustness and reliability of environmental perception today. The paper presents an a...
142
click to vote
GI
2007
Springer
16 years 14 days ago
2007
Springer
Abstract: Governmental processes are complex and knowledge-intensive. Most process management systems fail to support them in an adequate way. On the other hand semantic technologi...
148
click to vote
RTA
2007
Springer
16 years 13 days ago
2007
Springer
We present the Tom language that extends Java with the purpose of providing high level constructs inspired by the rewriting community. Tom furnishes a bridge between a general purp...