6598 search results - page 1102 / 1320 » Graph Theory with Applications |
168
click to vote
LICS
2005
IEEE
16 years 6 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
MICRO
2005
IEEE
16 years 6 days ago
2005
IEEE
Recent experimental advances have demonstrated technologies capable of supporting scalable quantum computation. A critical next step is how to put those technologies together into...
195
click to vote
MSE
2005
IEEE
16 years 6 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 ...
172
click to vote
SMI
2005
IEEE
16 years 5 days ago
2005
IEEE
Curvature-based energy and forces are used in a broad variety of contexts, ranging from modeling of thin plates and shells to surface fairing and variational surface design. The a...
175
click to vote
WIOPT
2005
IEEE
16 years 5 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...