2230 search results - page 139 / 446 » Reformulating Constraint Models Using Input Data |
108
click to vote
CVPR
2010
IEEE
15 years 6 months ago
2010
IEEE
In this paper we derive formal constraints relating terrain elevation and observed cast shadows. We show how an optimisation framework can be used to refine surface estimates usin...
ISQED
2010
IEEE
15 years 9 months ago
2010
IEEE
— Algorithms and tools used for IC implementation do not show deterministic and predictable behaviors with input parameter changes. Due to suboptimality and inaccuracy of underly...
133
click to vote
IPPS
2005
IEEE
15 years 8 months ago
2005
IEEE
Sparse and irregular computations constitute a large fraction of applications in the data-intensive scientific domain. While every effort is made to balance the computational wor...
BMCBI
2006
15 years 2 months ago
2006
Background: Microarray technologies have become common tools in biological research. As a result, a need for effective computational methods for data analysis has emerged. Numerou...
142
click to vote
CMSB
2007
Springer
15 years 8 months ago
2007
Springer
For modeling and analyzing regulatory networks based on qualitative information and possibly additional temporal constraints, approaches using hybrid automata can be very helpful. ...