Sciweavers

6978 search results - page 177 / 1396
» Reframing Requirements Analysis
Sort
View
93
Voted
KES
2005
Springer
15 years 3 months ago
Bayesian Validation of Fuzzy Clustering for Analysis of Yeast Cell Cycle Data
Clustering for the analysis of the gene expression profiles has been used for identifying the functions of the genes and of unknown genes. Since the genes usually belong to multipl...
Kyung-Joong Kim, Si-Ho Yoo, Sung-Bae Cho
85
Voted
IEEEPACT
2000
IEEE
15 years 2 months ago
Region Formation Analysis with Demand-Driven Inlining for Region-Based Optimization
Region-based compilation repartitions a program into more desirable compilation units for optimization and scheduling, particularly beneficial for ILP architectures. With region-...
Tom Way, Ben Breech, Lori L. Pollock
92
Voted
TACAS
1999
Springer
88views Algorithms» more  TACAS 1999»
15 years 2 months ago
A Theorem Prover-Based Analysis Tool for Object-Oriented Databases
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...
David Spelt, Susan Even
ICRA
1994
IEEE
102views Robotics» more  ICRA 1994»
15 years 2 months ago
Sensor-Based Planning and Nonsmooth Analysis
This paper describes some initial steps towards sensor based path planning in an unknown static environment. The method is a based on a sensor-based incremental construction of a o...
Howie Choset, Joel W. Burdick
GLOBECOM
2007
IEEE
15 years 2 months ago
Mean-Field Analysis of Buffer Sizing
Two schools of thoughts have emerged over the recent debate on internet router buffer sizing. One school argues that the presence of a large number of flows leads to traffic desync...
Mei Wang