1968 search results - page 226 / 394 » The Complexity of Valued Constraint Models |
135
click to vote
IVS
2006
15 years 1 months ago
2006
Business operations involve many factors and relationships and are modeled as complex business process workflows. The execution of these business processes generates vast volumes ...
141
click to vote
HASKELL
2005
ACM
15 years 7 months ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
114
click to vote
METRICS
2003
IEEE
15 years 7 months ago
2003
IEEE
Predicting stability in object-oriented (OO) software, i.e., the ease with which a software item evolves while preserving its design, is a key feature for software maintenance. In...
124
click to vote
GECCO
2006
Springer
15 years 5 months ago
2006
Springer
We present and evaluate a method for estimating the relevance and calibrating the values of parameters of an evolutionary algorithm. The method provides an information theoretic m...
BIOCOMP
2008
15 years 3 months ago
2008
We investigate how a nonlinear stress-strain relation (that leads to a stiffening of the brain matter under strain) influences the brain dynamics in traumatic situations. We numeri...