Sciweavers

8723 search results - page 122 / 1745
» A New Analysis of Co-Training
Sort
View
WSC
2007
15 years 8 months ago
SIMVIS: interactive visual analysis of large and time-dependent 3D simulation data
SimVis is a novel technology for the interactive visual analysis of large and complex flow data which results from Computational Fluid Dynamics (CFD) simulation. The new technolo...
Helmut Doleisch
IJBRA
2006
92views more  IJBRA 2006»
15 years 6 months ago
Jumpstarting phylogenetic analysis
: Phylogenetic analysis is a central tool in studies of comparative genomics. When a new region of DNA is isolated and sequenced, researchers are often forced to throw away months ...
Jesse Mecham, Mark J. Clement, Quinn Snell, Todd F...
JAPLL
2011
92views more  JAPLL 2011»
15 years 1 months ago
Norms as ascriptions of violations: An analysis in modal logic
The paper proposes a formal analysis of a theory of norms resulting from pulling together Anderson’s reduction, the analysis of counts-as, and a novel approach to the formal rep...
Davide Grossi
DATE
2008
IEEE
92views Hardware» more  DATE 2008»
16 years 29 days ago
Latch Modeling for Statistical Timing Analysis
—Latch based circuits are widely adopted in high performance circuits. But there is a lack of accurate latch models for doing timing analysis. In this paper, we propose a new lat...
Sean X. Shi, Anand Ramalingam, Daifeng Wang, David...
IPPS
2006
IEEE
16 years 16 days ago
An overview of the Jahob analysis system: project goals and current status
We present an overview of the Jahob system for modular analysis of data structure properties. Jahob uses a subset of Java as the implementation language and annotations with formu...
Viktor Kuncak, Martin C. Rinard