Sciweavers

2673 search results - page 143 / 535
» Guided Static Analysis
Sort
View
IEEEVAST
2010
14 years 11 months ago
DimStiller: Workflows for dimensional analysis and reduction
DimStiller is a system for dimensionality reduction and analysis. It frames the task of understanding and transforming input dimensions as a series of analysis steps where users t...
Stephen Ingram, Tamara Munzner, Veronika Irvine, M...
ICIP
2002
IEEE
16 years 5 months ago
Model-driven statistical analysis of human gait motion
We describe a new method for analyzing and extracting human gait motion by combining statistical methods with image processing. The periodic motion of human gait is modeled by tri...
Jang-Hee Yoo, Mark S. Nixon, Chris J. Harris
FCCM
2006
IEEE
162views VLSI» more  FCCM 2006»
15 years 10 months ago
Power Visualization, Analysis, and Optimization Tools for FPGAs
This paper introduces the Low-Power Intelligent Tool Environment (LITE), an object oriented tool set designed for power visualization, analysis, and optimization. These tools lever...
Matthew French, Li Wang, Michael J. Wirthlin
KBSE
2006
IEEE
15 years 10 months ago
Modularity Analysis of Logical Design Models
Traditional design representations are inadequate for generalized reasoning about modularity in design and its technical and economic implications. We have developed an architectu...
Yuanfang Cai, Kevin J. Sullivan
ICALT
2003
IEEE
15 years 9 months ago
Cohesion and Roles: Network Analysis of CSCL Communities
We provide empirical support for the assertions that high level of knowledge construction is associated with structured design and that knowledge construction is associated with c...
Reuven Aviv, Zippy Erlich, Gilad Ravid