Sciweavers

14704 search results - page 144 / 2941
» computing 2007
Sort
View
GC
2007
Springer
15 years 3 months ago
Some Recent Progress and Applications in Graph Minor Theory
Ken-ichi Kawarabayashi, Bojan Mohar
GC
2007
Springer
15 years 3 months ago
Forbidding Complete Hypergraphs as Traces
Dhruv Mubayi, Yi Zhao
PERVASIVE
2007
Springer
15 years 2 months ago
The Urbanet Revolution: Sensor Power to the People!
Oriana Riva, Cristian Borcea
ARITH
2007
IEEE
15 years 9 months ago
Formal Verification of Floating-Point Programs
Sylvie Boldo, Jean-Christophe Filliâtre