5210 search results - page 849 / 1042 » Exact geometric computation |
168
click to vote
INFOCOM
2007
IEEE
16 years 26 days ago
2007
IEEE
— Loss networks provide a powerful tool for the analysis and design of many communication and networking systems. It is well known that a large number of loss networks have produ...
173
click to vote
LICS
2007
IEEE
16 years 25 days ago
2007
IEEE
In an influential paper titled “The Benefits of Relaxing Punctuality” [2], Alur, Feder, and Henzinger introduced Metric Interval Temporal Logic (MITL) as a fragment of the r...
165
click to vote
AAMAS
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We study optimal control in large stochastic multi-agent systems in continuous space and time. We consider multi-agent systems where agents have independent dynamics with...
157
click to vote
COCO
2007
Springer
16 years 22 days ago
2007
Springer
We consider a class of two-prover interactive proof systems where each prover returns a single bit to the verifier and the verifier’s verdict is a function of the XOR of the tw...
193
click to vote
CSCLP
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Graph pattern matching is a central application in many fields. In various areas, the structure of the pattern can only be approximated and exact matching is then too ac...