Sciweavers

8582 search results - page 1489 / 1717
» Here or There
Sort
View
AGI
2008
15 years 8 months ago
Engineering Utopia
The likely advent of AGI and the long-established trend of improving computational hardware promise a dual revolution in coming decades: machines which are both more intelligent an...
J. Storrs Hall
185
Voted
AIML
2008
15 years 8 months ago
Valentini's cut-elimination for provability logic resolved
In 1983, Valentini presented a syntactic proof of cut-elimination for a sequent calculus GLSV for the provability logic GL where we have added the subscript V for "Valentini&q...
Rajeev Goré, Revantha Ramanayake
184
Voted
APVIS
2010
15 years 8 months ago
CycleStack: Inferring periodic behavior via temporal sequence visualization in ultrasound video
A range of well-known treatment methods for destroying tumor and similar harmful growth in human body utilizes the coherence between the inherently periodic movement of the affect...
Teng-Yok Lee, Abon Chaudhuri, Fatih Porikli, Han-W...
APVIS
2007
15 years 8 months ago
Particle-based volume rendering
: In this paper, we apply Particle-based Volume Rendering (PBVR) technique using a current programmable GPU architecture. Recently, the increasing programmability of GPU offers an ...
Naohisa Sakamoto, Jorji Nonaka, Koji Koyamada, Sat...
BCSHCI
2008
15 years 8 months ago
Assessing the benefits of multimodal feedback on dual-task performance under demanding conditions
The last few years have seen the release of an increasing number of new IT-related devices into the marketplace that have started to utilize tactile feedback. These include those ...
Ju-Hwan Lee, Charles Spence
« Prev « First page 1489 / 1717 Last » Next »