3804 search results - page 411 / 761 » From Here to There |
202
click to vote
RTA
2007
Springer
16 years 29 days ago
2007
Springer
This paper shows how to construct static analyzers using tree automata and rewriting techniques. Starting from a term rewriting system representing the operational semantics of the...
181
click to vote
BIBE
2006
IEEE
16 years 27 days ago
2006
IEEE
— Biological networks are formalized summaries of our knowledge about interactions among biological system components, like genes, proteins, or metabolites. From their global top...
185
click to vote
CCECE
2006
IEEE
16 years 27 days ago
2006
IEEE
Phylogenetic trees are commonly reconstructed based on hard optimization problems such as Maximum parsimony (MP) and Maximum likelihood (ML). Conventional MP heuristics for produc...
170
Voted
CIBCB
2006
IEEE
16 years 27 days ago
2006
IEEE
Abstract–Protein families can be used to reconstruct evolutionary histories of organisms. The accuracy of protein assignment to such families is critical for the success of such ...
152
click to vote
CRV
2006
IEEE
16 years 27 days ago
2006
IEEE
Evaluation of object detection systems requires a set of test images with objects in heterogeneous scenes. Unfortunately, existing publicly available object databases provide few,...