5550 search results - page 915 / 1110 » Different Approaches to Proof Systems |
189
click to vote
ICCAD
2008
IEEE
16 years 3 months ago
2008
IEEE
— As transistor sizes continue to shrink and the number of transistors per chip keeps increasing, chip multiprocessors (CMPs) are becoming a promising alternative to remain on th...
175
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
Painting on 3D surfaces is an important operation in computer graphics, virtual reality, and computer aided design. The painting styles in existing WYSIWYG systems can be awkward,...
157
click to vote
CLUSTER
2007
IEEE
16 years 1 months ago
2007
IEEE
— Various mechanisms for fault-tolerance (FT) are used today in order to reduce the impact of failures on application execution. In the case of system failure, standard FT mechan...
142
click to vote
INFOCOM
2007
IEEE
16 years 29 days ago
2007
IEEE
— Accurately positioning nodes in wireless and sensor networks is important because the location of sensors is a critical input to many higher-level networking tasks. However, th...
211
click to vote
SG
2005
Springer
16 years 4 days ago
2005
Springer
This article describes the integration of knowledge based techniques into simulative Virtual Reality (VR) applications. The approach is motivated ltimodal Virtual Construction as a...