Sciweavers

55 search results - page 10 / 11
» tc 2010
Sort
View
CORR
2010
Springer
143views Education» more  CORR 2010»
13 years 5 months ago
The Complexity of Proving the Discrete Jordan Curve Theorem
The Jordan Curve Theorem (JCT) states that a simple closed curve divides the plane into exactly two connected regions. We formalize and prove the theorem in the context of grid gr...
Phuong Nguyen, Stephen Cook
STACS
2010
Springer
14 years 17 days ago
Restricted Space Algorithms for Isomorphism on Bounded Treewidth Graphs
The Graph Isomorphism problem restricted to graphs of bounded treewidth or bounded tree distance width are known to be solvable in polynomial time [2],[19]. We give restricted spa...
Bireswar Das, Jacobo Torán, Fabian Wagner
TVCG
2010
197views more  TVCG 2010»
13 years 4 months ago
High-Dynamic-Range Texture Compression for Rendering Systems of Different Capacities
—In this paper, we propose a novel approach for high-dynamic-range (HDR) texture compression (TC) suitable for rendering systems of different capacities. Based on the previously ...
Wen Sun, Yan Lu, Feng Wu, Shipeng Li, John Tardif
CDC
2010
IEEE
119views Control Systems» more  CDC 2010»
13 years 18 days ago
Combining extremum seeking control and tracking control for high-performance CVT operation
The control design for the variator in a pushbelt continuously variable transmission (CVT) is investigated. The variator enables a stepless variation of the transmission ratio with...
Stan van der Meulen, Bram de Jager, Frans Veldpaus...
TRUST
2010
Springer
13 years 10 months ago
Beyond Kernel-Level Integrity Measurement: Enabling Remote Attestation for the Android Platform
Abstract. Increasing adoption of smartphones in recent times has begun to attract more and more malware writers towards these devices. Among the most prominent and widely adopted o...
Mohammad Nauman, Sohail Khan, Xinwen Zhang, Jean-P...