1686 search results - page 222 / 338 » Programs as polygraphs: computability and complexity |
133
click to vote
CIMCA
2008
IEEE
15 years 10 months ago
2008
IEEE
Cooperation is the process of synchronization and exchanging useful knowledge between agents in multiagent systems. Since cooperation associates agents into a collaborative team t...
169
click to vote
ICC
2008
IEEE
15 years 10 months ago
2008
IEEE
—It is not possible to ensure that a network is absolutely secure. Therefore, network operators must continually change their defense strategies to counter attackers who constant...
128
click to vote
ASAP
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we present and analyze a novel decoder architecture for LDPC convolutional codes (LDPCCCs). The proposed architecture enables high throughput and can be programmed ...
128
click to vote
ISBI
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a method for tracking and distinguishing multiple C. elegans in a video sequence, including when they are in physical contact with one another. The worms are modeled wi...
153
click to vote
FOSSACS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...