2391 search results - page 216 / 479 » From Nature to Methods and Back to Nature |
174
click to vote
EUROSPI
2004
Springer
15 years 12 months ago
2004
Springer
Post-mortem project reviews often yield useful lessons learned. These project reviews are mostly recorded in plain text. This makes it difficult to derive useful overall findings ...
153
click to vote
FM
1999
Springer
15 years 11 months ago
1999
Springer
We introduce the concept of a group principal and present a number of different classes of group principals, including threshold-group-principals. These appear to naturally usefu...
158
click to vote
FMCAD
2007
Springer
15 years 10 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
183
click to vote
PPSN
2000
Springer
15 years 10 months ago
2000
Springer
In this paper, we propose a competitive image segmentation algorithm. It is a dynamic evolving optimization method, which we call the population algorithm. The method is inspired f...
182
click to vote
ECCV
2010
Springer
15 years 9 months ago
2010
Springer
Unsupervised learning requires a grouping step that defines which data belong together. A natural way of grouping in images is the segmentation of objects or parts of objects. Whi...