3690 search results - page 556 / 738 » Computation with classical sequents |
135
click to vote
LAWEB
2005
IEEE
15 years 11 months ago
2005
IEEE
The concurrent growth of on-line communities exhibiting large-scale social structure, and of large decentralized peer-to-peer ï¬le-sharing systems, has stimulated new interest in...
136
click to vote
LICS
2005
IEEE
15 years 11 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â€...
143
click to vote
RTCSA
2005
IEEE
15 years 11 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...
190
click to vote
WACV
2005
IEEE
15 years 11 months ago
2005
IEEE
Many existing systems for human body tracking are based on dynamic model-based tracking that is driven by local image features. Alternatively, within a view-based approach, tracki...
142
click to vote
WIOPT
2005
IEEE
15 years 11 months ago
2005
IEEE
We study power control in multicell CDMA wireless networks as a team optimization problem where each mobile attains at the minimum its individual ï¬xed target SIR level and beyon...