2322 search results - page 244 / 465 » On a game in directed graphs |
175
click to vote
CSB
2005
IEEE
16 years 4 days ago
2005
IEEE
A genetic map is an ordering of genetic markers constructed from genetic linkage data for use in linkage studies and experimental design. While traditional methods have focused on...
187
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...
193
click to vote
EDBT
2010
ACM
15 years 9 months ago
2010
ACM
A key advantage of scientific workflow systems over traditional scripting approaches is their ability to automatically record data and process dependencies introduced during workf...
218
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Automated extraction of protein-protein interactions (PPI) is an important and widely studied task in biomedical text mining. We propose a graph kernel based approach ...
169
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
Optimization with graph cuts became very popular in recent years. Progress in problems such as stereo correspondence, image segmentation, etc., can be attributed, in part, to the ...