1451 search results - page 213 / 291 » Case Studies in Model Manipulation for Scientific Computing |
160
click to vote
MFCS
2009
Springer
16 years 25 days ago
2009
Springer
Abstract. The synthesis of a reactive system with respect to an ωregular specification requires the solution of a graph game. Such games have been extended in two natural ways. F...
164
click to vote
COMPGEOM
2004
ACM
15 years 11 months ago
2004
ACM
The computation of Delaunay triangulations from static point sets has been extensively studied in computational geometry. When the points move with known trajectories, kinetic dat...
194
click to vote
ICIP
2008
IEEE
16 years 8 months ago
2008
IEEE
The extraction of contours using deformable models, such as snakes, is a problem of great interest in computer vision, particular in areas of medical imaging and tracking. Snakes ...
200
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
Embedded systems with heterogeneous processors extend the energy/timing trade-off flexibility and provide the opportunity to fine tune resource utilization for particular applicat...
162
click to vote
ICML
2008
IEEE
16 years 7 months ago
2008
IEEE
In high-dimensional classification problems it is infeasible to include enough training samples to cover the class regions densely. Irregularities in the resulting sparse sample d...