615 search results - page 82 / 123 » The challenges of automated methods for integrating systems |
ALMOB
2006
13 years 8 months ago
2006
Background: Automated software tools for multiple alignment often fail to produce biologically meaningful results. In such situations, expert knowledge can help to improve the qua...
GLVLSI
2006
IEEE
14 years 2 months ago
2006
IEEE
Formal methods have been advocated for the verification of digital design where correctness is proved mathematically. In contrast to digital designs, the verification of analog ...
DEXAW
2003
IEEE
14 years 1 months ago
2003
IEEE
A challenging task in security engineering concerns the specification and integration of security with other requirements at the top level of requirements engineering. Empirical ...
AMFG
2007
IEEE
13 years 10 months ago
2007
IEEE
Pose variance remains a challenging problem for face recognition. In this paper, a scheme including image synthesis and recognition is proposed to improve the performance of automa...
ECIS
2003
13 years 10 months ago
2003
Research problems in ICT networks often comprise coordination problems of information infrastructures and require state-of-the-art methods of coping with complex system dynamics. ...