Sciweavers

1079 search results - page 25 / 216
» Mereology of Visual Form
Sort
View
TVCG
2010
181views more  TVCG 2010»
14 years 9 months ago
Virtual Rheoscopic Fluids
— We present a visualization technique for simulated fluid dynamics data that visualizes the gradient of the velocity field in an intuitive way. Our work is inspired by rheosco...
Florian Hecht, Peter J. Mucha, Greg Turk
VL
2010
IEEE
207views Visual Languages» more  VL 2010»
14 years 9 months ago
Calcite: Completing Code Completion for Constructors Using Crowds
—Calcite is a new Eclipse plugin that helps address the difficulty of understanding and correctly using an API. Calcite finds the most popular ways to instantiate a given class o...
Mathew Mooty, Andrew Faulring, Jeffrey Stylos, Bra...
88
Voted
VL
2010
IEEE
160views Visual Languages» more  VL 2010»
14 years 9 months ago
Toward End-User Debugging of Machine-Learned Classifiers
Many machine-learning algorithms learn rules of behavior from individual end users, such as taskoriented desktop organizers and handwriting recognizers. These rules form a generat...
Todd Kulesza
ICIP
2010
IEEE
14 years 9 months ago
OmniSIFT: Scale invariant features in omnidirectional images
We propose a method to compute scale invariant features in omnidirectional images. We present a formulation based on Riemannian geometry for the definition of differential operato...
Zafer Arican, Pascal Frossard
ICSE
2009
IEEE-ACM
14 years 8 months ago
VCC: Contract-based modular verification of concurrent C
Most system level software is written in C and executed concurrently. Because such software is often critical for system reliability, it is an ideal target for formal verification...
Markus Dahlweid, Michal Moskal, Thomas Santen, Ste...