248 search results - page 17 / 50 » Virtual Symmetry Reduction |
HAPTICS
2007
IEEE
14 years 4 months ago
2007
IEEE
In this paper we discuss the theory, design and construction of a haptic display for creating texture sensations through variations in surface friction. Ultrasonic frequency, low ...
HPCA
2003
IEEE
14 years 10 months ago
2003
IEEE
With the scaling of technology and the need for higher performance and more functionality, power dissipation is becoming a major bottleneck for microprocessor designs. Pipeline ba...
QEST
2006
IEEE
14 years 3 months ago
2006
IEEE
— UPPAAL 4.0 is the result of over two and a half years of development and contains many new features, additions to the modeling language, performance improvements, enhancements ...
ASM
2008
ASM
13 years 11 months ago
2008
ASM
Abstract. In this paper we examine the difference between model checking high-level and low-level models. In particular, we compare the ProB model checker for the B-method and the ...
IJCAI
2001
13 years 11 months ago
2001
We study the impact of backbones in optimization and approximation problems. We show that some optimization problems like graph coloring resemble decision problems, with problem h...