989 search results - page 85 / 198 » HowNet and Its Computation of Meaning |
125
click to vote
CSL
2005
Springer
15 years 10 months ago
2005
Springer
We give a Natural Deduction formulation of an adaptation of G¨odel’s functional (Dialectica) interpretation to the extraction of (more) efficient programs from (classical) proof...
146
click to vote
EMSOFT
2005
Springer
15 years 10 months ago
2005
Springer
This paper is about the modular compilation and distribution of a sub-class of Simulink programs [9] across networks using bounded FIFO queues. The problem is first addressed mat...
132
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
Cooperative co-evolution is often used to solve difficult optimization problems by means of problem decomposition. Its performance for such tasks can vary widely from good to disa...
191
click to vote
MATA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In the context of ubiquitous and pervasive computing, publish/subscribe middleware is gaining momentum due to its loosely coupled communication scheme. In this paper we p...
122
click to vote
RAID
2005
Springer
15 years 10 months ago
2005
Springer
We introduce a notion, behavioral distance, for evaluating the extent to which processes—potentially running different programs and executing on different platforms—behave si...