Sciweavers

10874 search results - page 318 / 2175
» An Improvement in Sugeno-Yasukawa Modeler
Sort
View
ICEBE
2005
IEEE
96views Business» more  ICEBE 2005»
16 years 12 days ago
Adding Physical Optimization to Cost Models in Information Mediators
Optimization of execution plans in information mediators is a critical task, specially when sources are remote and semistructured, as in the case of transactional web sites. Lack ...
Justo Hidalgo, Alberto Pan, José Losada, Ma...
ISCAS
2005
IEEE
273views Hardware» more  ISCAS 2005»
16 years 12 days ago
A distributed slack bus model and its impact on distribution system application techniques
—Distribution system operating environments are changing rapidly. For example, with the steady and significant increase in dispersed generation expected, planning and operating a...
Shiqiong Tong, Michael Kleinberg, Karen Miu
AE
2005
Springer
16 years 10 days ago
An Enhanced Genetic Algorithm for Protein Structure Prediction Using the 2D Hydrophobic-Polar Model
This paper presents an enhanced genetic algorithm for the protein structure prediction problem. A new fitness function, that uses the concept of radius of gyration, is proposed. Al...
Heitor S. Lopes, Marcos P. Scapin
CAISE
2005
Springer
16 years 10 days ago
Automated Reasoning on Feature Models
Abstract Software Product Line (SPL) Engineering has proved to be an effective method for software production. However, in the SPL community it is well recognized that variability ...
David Benavides, Pablo Trinidad Martín-Arro...
ISAS
2005
Springer
16 years 9 days ago
Proof-Based System Engineering Using a Virtual System Model
Abstract. This paper provides an overview of Proof-Based System Engineering (PBSE), which aims at improving the current practice of developing computer-based systems. PBSE is of pa...
Martin Biely, Gérard Le Lann, Ulrich Schmid