Sciweavers

2230 search results - page 173 / 446
» Reformulating Constraint Models Using Input Data
Sort
View
SETP
2007
15 years 4 months ago
Using Communication Objects During Requirements Analysis
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...
Peter J. Clarke, Yingbo Wang, Tuan L. Cameron, Yal...
83
Voted
CMSB
2003
Springer
15 years 7 months ago
Multiscale Modeling of Alternative Splicing Regulation
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...
Damien Eveillard, Delphine Ropers, Hidde de Jong, ...
126
Voted
TCAD
1998
95views more  TCAD 1998»
15 years 2 months ago
A framework for comparing models of computation
—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...
Edward A. Lee, Alberto L. Sangiovanni-Vincentelli
120
Voted
CVPR
2007
IEEE
16 years 4 months ago
Accurate, Dense, and Robust Multi-View Stereopsis
: 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...
Yasutaka Furukawa, Jean Ponce
108
Voted
EAAI
2006
98views more  EAAI 2006»
15 years 2 months ago
Neural network-based failure rate prediction for De Havilland Dash-8 tires
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 ...
Ahmed Z. Al-Garni, Ahmad Jamal, Abid M. Ahmad, Abd...