738 search results - page 30 / 148 » Prime Implicant Computation Using Satisfiability Algorithms |
ANTSW
2010
Springer
14 years 7 months ago
2010
Springer
Activator-inhibitor models have been widely used to explain several morphogenetic processes. They have also been used to engineer algorithms for computer graphics, distributed syst...
EVOW
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. This work describes the use of genetic algorithms for automating the photogrammetric network design process. When planning a photogrammetric network, the cameras should b...
HUC
2003
Springer
15 years 2 months ago
2003
Springer
The movement of design out of the workplace and into the home brings with it the need to develop new analytic concepts to consider how ubiquitous computing might relate to and supp...
EVOW
2008
Springer
14 years 11 months ago
2008
Springer
Many processes in the cell involve interaction among the proteins and determination of the networks of such interactions is of immense importance towards the complete understanding...
ADBIS
2008
Springer
15 years 4 months ago
2008
Springer
A similarity join correlating fragments in XML documents, which are similar in structure and content, can be used as the core algorithm to support data cleaning and data integratio...