Sciweavers

2057 search results - page 257 / 412
» Scalable and Structured Scheduling
Sort
View
VIS
2007
IEEE
216views Visualization» more  VIS 2007»
14 years 9 months ago
Interactive Isosurface Ray Tracing of Time-Varying Tetrahedral Volumes
Abstract-- We describe a system for interactively rendering isosurfaces of tetrahedral finite-element scalar fields using coherent ray tracing techniques on the CPU. By employing s...
Ingo Wald, Heiko Friedrich, Aaron Knoll, Charle...
DAC
2006
ACM
14 years 9 months ago
Symmetry detection for large Boolean functions using circuit representation, simulation, and satisfiability
- Classical two-variable symmetries play an important role in many EDA applications, ranging from logic synthesis to formal verification. This paper proposes a complete circuit-bas...
Jin S. Zhang, Alan Mishchenko, Robert K. Brayton, ...
ICML
2006
IEEE
14 years 9 months ago
Kernelizing the output of tree-based methods
We extend tree-based methods to the prediction of structured outputs using a kernelization of the algorithm that allows one to grow trees as soon as a kernel can be defined on the...
Florence d'Alché-Buc, Louis Wehenkel, Pierr...
ICSE
2009
IEEE-ACM
14 years 9 months ago
FEATUREHOUSE: Language-independent, automated software composition
Superimposition is a composition technique that has been applied successfully in many areas of software development. Although superimposition is a general-purpose concept, it has ...
Christian Kästner, Christian Lengauer, Sven A...
PERCOM
2006
ACM
14 years 7 months ago
SmartContacts: A Large Scale Social Context Service Discovery System
The proliferation of cell phones has led to an ever increasing number of inappropriate interruptions. SmartContacts provides a solution to this problem by empowering the caller to...
Yong Liu, Kay Connelly