Sciweavers

7984 search results - page 1283 / 1597
» Exploring personal information
Sort
View
VIS
2009
IEEE
430views Visualization» more  VIS 2009»
16 years 2 months ago
Interactive Volume Rendering of Functional Representations in Quantum Chemistry
Simulation and computation in chemistry studies have been improved as computational power has increased over decades. Many types of chemistry simulation results are available, from...
Yun Jang and Ugo Varetto
ECIR
2009
Springer
16 years 1 months ago
Organizing Suggestions in Autocompletion Interfaces
We describe two user studies that investigate organization strategies of autocompletion in a known-item search task: searching for terms taken from a thesaurus. In Study 1, we expl...
Alia Amin, Michiel Hildebrand, Jacco van Ossenbrug...
ECIR
2009
Springer
16 years 1 months ago
Multi-facet Rating of Product Reviews
Online product reviews are becoming increasingly available, and are being used more and more frequently by consumers in order to choose among competing products. Tools that rank co...
Stefano Baccianella, Andrea Esuli, Fabrizio Sebast...
ICCD
2004
IEEE
126views Hardware» more  ICCD 2004»
16 years 1 months ago
Implementation of Fine-Grained Cache Monitoring for Improved SMT Scheduling
Simultaneous Multithreading (SMT) is emerging as an effective microarchitecture model to increase the utilization of resources in modern super-scalar processors. However, co-sched...
Joshua L. Kihm, Daniel A. Connors
TLDI
2010
ACM
218views Formal Methods» more  TLDI 2010»
16 years 1 months ago
Pointwise generalized algebraic data types
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
Chuan-kai Lin, Tim Sheard
« Prev « First page 1283 / 1597 Last » Next »