4460 search results - page 887 / 892 » Formal methods for interactive systems |
CGF
2006
13 years 7 months ago
2006
Based on the potential of current programmable GPUs, recently several approaches were developed that use the GPU to calculate deformations of surfaces like the folding of cloth or...
BMCBI
2007
13 years 7 months ago
2007
Background: The SYMBIOmatics Specific Support Action (SSA) is "an information gathering and dissemination activity" that seeks "to identify synergies between the bi...
SMA
2008
ACM
13 years 7 months ago
2008
ACM
Surface matching is fundamental to shape computing and various downstream applications. This paper develops a powerful pants decomposition framework for computing maps between sur...
BMCBI
2005
13 years 7 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...
BMCBI
2004
13 years 7 months ago
2004
Background: Certain protein families are highly conserved across distantly related organisms and belong to large and functionally diverse superfamilies. The patterns of conservati...