1760 search results - page 26 / 352 » Program Analysis Using Weighted Pushdown Systems |
BMCBI
2010
13 years 11 months ago
2010
Background: Identifying disease gene from a list of candidate genes is an important task in bioinformatics. The main strategy is to prioritize candidate genes based on their simil...
BMCBI
2005
13 years 10 months ago
2005
Background: The ability to distinguish between genes and proteins is essential for understanding biological text. Support Vector Machines (SVMs) have been proven to be very effici...
TACAS
1998
Springer
14 years 3 months ago
1998
Springer
Relay Ladder Logic (RLL) [4] is a programming language widely used for complex embedded control applications such as manufacturing and amusement park rides. The cost of bugs in RLL...
ICIP
2007
IEEE
15 years 19 days ago
2007
IEEE
We present our system for the capturing and analysis of 3D facial motion. A high speed camera is used as capture unit in combination with two surface mirrors. The mirrors provide ...
EUC
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. For the security technology that has been achieved with software in the computer system and the protection of the intellectual property right of software, software protec...