Sciweavers

21319 search results - page 196 / 4264
» An Approach for Method Reengineering
Sort
View
126
Voted
HYBRID
2004
Springer
15 years 9 months ago
Incremental Search Methods for Reachability Analysis of Continuous and Hybrid Systems
Abstract. In this paper we present algorithms and tools for fast and efficient reachability analysis, applicable to continuous and hybrid systems. Most of the work on reachability ...
Amit Bhatia, Emilio Frazzoli
138
Voted
GECCO
2010
Springer
189views Optimization» more  GECCO 2010»
15 years 8 months ago
Knowledge mining with genetic programming methods for variable selection in flavor design
This paper presents a novel approach for knowledge mining from a sparse and repeated measures dataset. Genetic programming based symbolic regression is employed to generate multip...
Katya Vladislavleva, Kalyan Veeramachaneni, Matt B...
142
Voted
ICCAD
2000
IEEE
188views Hardware» more  ICCAD 2000»
15 years 8 months ago
Bus Optimization for Low-Power Data Path Synthesis Based on Network Flow Method
— Sub-micron feature sizes have resulted in a considerable portion of power to be dissipated on the buses, causing an increased attention on savings for power at the behavioral l...
Sungpack Hong, Taewhan Kim
108
Voted
HT
1999
ACM
15 years 8 months ago
Improving Hypermedia Development: A Reference Model-Based Process Assessment Method
If we are to improve our ability to reliably and consistently create high quality hypermedia applications then we need to improve our understanding of the development process and ...
David B. Lowe, Andrew J. Bucknell, Richard Webby
ASWEC
1998
IEEE
15 years 8 months ago
Supplementing Process-Oriented with Structure-Oriented Design Explanation within Formal Object Oriented Method
This paper reports the results from an action research project which studies the benefits of documenting the evolution and the rationale for the evolution of a requirements specif...
LeMai Nguyen, Paul A. Swatman, Graeme G. Shanks