Sciweavers

17920 search results - page 426 / 3584
» Recentering computer science
Sort
View
DM
2010
95views more  DM 2010»
15 years 4 months ago
Constructions of unitals in Desarguesian planes
Angela Aguglia, L. Giuzzi, Gábor Korchm&aac...
ACSC
2009
IEEE
15 years 11 months ago
Verification of the SIP Transaction Using Coloured Petri Nets
The Session Initiation Protocol (SIP) is one of the leading protocols for multimedia control over the Internet, including initiating, maintaining and terminating multimedia sessio...
Lin Liu
FOCS
2005
IEEE
16 years 14 days ago
How to Pay, Come What May: Approximation Algorithms for Demand-Robust Covering Problems
Robust optimization has traditionally focused on uncertainty in data and costs in optimization problems to formulate models whose solutions will be optimal in the worstcase among ...
Kedar Dhamdhere, Vineet Goyal, R. Ravi, Mohit Sing...
FOCS
2008
IEEE
16 years 1 months ago
Embeddings of Topological Graphs: Lossy Invariants, Linearization, and 2-Sums
We study the properties of embeddings, multicommodity flows, and sparse cuts in minor-closed families of graphs which are also closed under 2-sums; this includes planar graphs, g...
Amit Chakrabarti, Alexander Jaffe, James R. Lee, J...