8512 search results - page 1414 / 1703 » Computing Theory With Relevance |
172
click to vote
LICS
2005
IEEE
16 years 7 days 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â€...
173
click to vote
LICS
2005
IEEE
16 years 7 days ago
2005
IEEE
Number Decision Diagrams (NDD) are the automatabased symbolic representation for manipulating sets of integer vectors encoded as strings of digit vectors (least or most signiï¬ca...
195
click to vote
MSE
2005
IEEE
16 years 7 days ago
2005
IEEE
System-level design of embedded computer systems is essential to manage complexity and enhance designer productivity. Viewing designs at t abstraction levels allows developers to ...
193
click to vote
TRIDENTCOM
2005
IEEE
16 years 7 days ago
2005
IEEE
Wireless mesh networks have increasingly become an object of interest in recent years as a strong alternative to purely wired infrastructure networks and purely mobile wireless ne...
176
click to vote
WIOPT
2005
IEEE
16 years 7 days 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...