3931 search results - page 465 / 787 » Separation logic and abstraction |
188
click to vote
GECCO
2003
Springer
16 years 9 days ago
2003
Springer
Abstract. In this paper, an agent-based evolutionary computing technique is introduced, that is geared towards the automatic induction and optimization of grammars for natural lang...
178
click to vote
ICCSA
2003
Springer
16 years 9 days ago
2003
Springer
Abstract. We consider the solution of a (generalized) eigenvalue problem arising in physical oceanography that involves the evaluation of both the tangent-linear and adjoint versio...
157
click to vote
COOPIS
2002
IEEE
16 years 2 days ago
2002
IEEE
Abstract. Filtered delivery model of message passing in an objectoriented distributed computing environment facilitates separation of message control from message processing in a t...
173
click to vote
FOCS
2002
IEEE
16 years 1 days ago
2002
IEEE
d abstract) Nathan Segerlind∗ Sam Buss† Russell Impagliazzo‡ We prove a new switching lemma that works for restrictions that set only a small fraction of the variables and i...
188
click to vote
IEEEMSP
2002
IEEE
16 years 1 days ago
2002
IEEE
Abstract— We consider the problem of reachback communication in wireless sensor networks: multiple sensors are deployed on a field, and they collect local measurements of some r...