2230 search results - page 173 / 446 » Reformulating Constraint Models Using Input Data |
160
Voted
SETP
2007
15 years 7 months ago
2007
Requirement analysis continues to be one of the most critical and challenging phases during the software development process. Many object-oriented methodologies identify three pri...
125
click to vote
CMSB
2003
Springer
15 years 11 months ago
2003
Springer
Alternative splicing is a key process in post-transcriptional regulation, by which several kinds of mature RNA can be obtained from the same premessenger RNA. Using a constraint pr...
179
click to vote
TCAD
1998
15 years 5 months ago
1998
—We give a denotational framework (a “meta model”) within which certain properties of models of computation can be compared. It describes concurrent processes in general term...
167
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
: This paper proposes a novel algorithm for calibrated multi-view stereopsis that outputs a (quasi) dense set of rectangular patches covering the surfaces visible in the input imag...
146
click to vote
EAAI
2006
15 years 6 months ago
2006
An artificial neural network (ANN) model for predicting the failure rate of De Havilland Dash-8 airplane tires utilizing the twolayered feed-forward back-propagation algorithm as ...