Sciweavers

1592 search results - page 170 / 319
» Software Process - Standards, Assessments and Improvement
Sort
View
WFLP
2000
Springer
124views Algorithms» more  WFLP 2000»
15 years 10 months ago
A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...
Elvira Albert, Sergio Antoy, Germán Vidal
CAS
2004
112views more  CAS 2004»
15 years 6 months ago
Sustainable Urban Transportation: A Model-Based Approach
Transportation and its environmental impacts are a major component of urban environmental management. At the same time, transportation and mobility are an important part or urban ...
Kurt Fedra
IJITM
2010
93views more  IJITM 2010»
15 years 4 months ago
A group evidential reasoning approach for enterprise architecture framework selection
: Enterprise architecture (EA) frameworks are used to ensure interoperability of information systems and improve the effectiveness and efficiency of business organisations. Several...
Faramak Zandi, Madjid Tavana
GECCO
2006
Springer
177views Optimization» more  GECCO 2006»
15 years 10 months ago
Hyper-ellipsoidal conditions in XCS: rotation, linear approximation, and solution structure
The learning classifier system XCS is an iterative rulelearning system that evolves rule structures based on gradient-based prediction and rule quality estimates. Besides classifi...
Martin V. Butz, Pier Luca Lanzi, Stewart W. Wilson
MICCAI
2008
Springer
16 years 7 months ago
Tracking the Swimming Motions of C
Quantitative analysis of the swimming motions of C. elegans worms are of critical importance for many gene-related studies on aging. However no automated methods are currently in u...
Christophe Restif, Dimitris N. Metaxas