7200 search results - page 1158 / 1440 » On the Computational Power of Winner-Take-All |
89
Voted
LICS
2005
IEEE
15 years 6 months ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemā...
102
Voted
MMM
2005
Springer
15 years 6 months ago
2005
Springer
In distributed computing systems, it is unwise to move data to the point of program code, but instead process data at the point of storage. This concept is even more appropriate t...
100
Voted
RTAS
2005
IEEE
15 years 6 months ago
2005
IEEE
Networking applications, such as VPN and content filtering, demand extra computing power in order to meet the throughput requirement nowadays. In addition to pure ASIC solutions, ...
98
Voted
RTCSA
2005
IEEE
15 years 6 months ago
2005
IEEE
Battleļ¬eld surveillance often involves a high element of risk for military operators. Hence, it is very important for the military to execute unmanned surveillance by using larg...
SRDS
2005
IEEE
15 years 6 months ago
2005
IEEE
We propose and evaluate a novel framework for enforcing global coordination and control policies over interacting software components in enterprise computing environments. This fra...