2373 search results - page 437 / 475 » Complexities for generalized models of self-assembly |
124
click to vote
ISAAC
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. A fundamental problem in computational biology is the determination of the correct species tree for a set of taxa given a set of possibly contradictory gene trees. In rec...
170
click to vote
ZUM
1997
Springer
15 years 8 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
141
click to vote
VISUALIZATION
1992
IEEE
15 years 8 months ago
1992
IEEE
algorithms as networks of modules. The data flow architecture is popular because of the flexibility of mixing calculation modules with display modules, and because of its easy grap...
158
click to vote
AMFG
2007
IEEE
15 years 8 months ago
2007
IEEE
A key problem for "face in the crowd" recognition from existing surveillance cameras in public spaces (such as mass transit centres) is the issue of pose mismatches betwe...
144
click to vote
AAAI
2008
15 years 6 months ago
2008
POIROT is an integration framework for combining machine learning mechanisms to learn hierarchical models of web services procedures from a single or very small set of demonstrati...