7117 search results - page 262 / 1424 » IT Governance Frameworks as Methods |
184
click to vote
IMR
2003
Springer
15 years 11 months ago
2003
Springer
Parameterizations of triangulated surfaces are used in an increasing number of mesh processing applications for various purposes. Although demands vary, they are often required to...
208
click to vote
CSDA
2007
15 years 6 months ago
2007
In blind source separation, there are M sources that produce sounds independently and continuously over time. These sounds are then recorded by m receivers. The sound recorded by ...
211
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
The use of statistical pattern recognition models to segment the left ventricle of the heart in ultrasound images has gained substantial attention over the last few years. The mai...
166
click to vote
BIRTHDAY
2009
Springer
16 years 1 months ago
2009
Springer
We present a new hybrid BDD and SAT-based algorithm for model checking. Our algorithm is based on backward search, where each pre-image computation consists of an efficient All-SA...
189
click to vote
ATAL
2007
Springer
16 years 24 days ago
2007
Springer
Distributed Constraint Optimization (DCOP) is a general framework that can model complex problems in multi-agent systems. Several current algorithms that solve general DCOP instan...