615 search results - page 82 / 123 » The challenges of automated methods for integrating systems |
106
click to vote
ALMOB
2006
14 years 12 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
15 years 6 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
15 years 5 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 ...
121
click to vote
AMFG
2007
IEEE
15 years 1 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
15 years 1 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. ...