1422 search results - page 138 / 285 » Complementation in Abstract Interpretation |
162
click to vote
SIAMCO
2011
14 years 11 months ago
2011
Abstract. A framework is introduced for the identification of controls for single-class timevarying queueing networks that are asymptotically optimal in the so-called uniform acce...
182
Voted
JUCS
2010
14 years 11 months ago
2010
Abstract: One of the difficulties that self-directed learners face on their learning process is choosing the right learning resources. One of the goals of adaptive educational syst...
205
Voted
TSMC
2010
14 years 11 months ago
2010
Abstract--Since Grid computing systems involve large-scale resource sharing, resource management is central to their operations. Whereas there are more Grid resource management sys...
124
click to vote
TSP
2010
14 years 11 months ago
2010
Abstract--Waveform design is essential to unleash the performance advantages promised by multiple-input multiple-output (MIMO) radar, and this topic has attracted a lot of attentio...
163
click to vote
COMPGEOM
2011
ACM
14 years 7 months ago
2011
ACM
Abstract. We study the grid size that is needed to represent intersection graphs of convex polygons. Here the polygons are similar to a base polygon P whose corners have rational c...