4171 search results - page 293 / 835 » Choice numbers of graphs |
182
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
Representations for interactive photorealistic visualization of scenes range from compact 2D panoramas to dataintensive 4D light fields. In this paper, we propose a technique for ...
180
click to vote
MFCS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The synthesis of a reactive system with respect to an ωregular specification requires the solution of a graph game. Such games have been extended in two natural ways. F...
173
click to vote
SSS
2007
Springer
16 years 27 days ago
2007
Springer
Consider a network of processes that exchange messages via FIFO communication channels. Each process chooses a subset of its neighboring processes to be its successors. Furthermore...
211
click to vote
MFCS
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. This paper deals with updates of XML documents that satisfy a given schema, e.g., a DTD. In this context, when a given update violates the schema, it might be the case th...
169
click to vote
TACAS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. A message sequence chart (MSC) is a standard notation for describing the interaction between communicating objects. It is popular among the designers of communication pro...