2607 search results - page 159 / 522 » Complete Functional Synthesis |
106
click to vote
LPAR
2005
Springer
15 years 9 months ago
2005
Springer
We describe a sound, terminating, and complete matching algorithm for terms built over flexible arity function symbols and context, function, sequence, and individual variables. C...
122
click to vote
SP
2003
IEEE
15 years 9 months ago
2003
IEEE
Many recent large-scale distributed computing applications utilize spare processor cycles of personal computers that are connected to the Internet. The resulting distributed compu...
126
click to vote
BILDMED
2007
15 years 5 months ago
2007
Today the main challenge in cancer surgery is increasing the accuracy in tumor resections. Malignant cells must be completely removed, while harm to the surrounding healthy tissue ...
133
click to vote
DAWAK
2009
Springer
15 years 5 months ago
2009
Springer
While in the past the BI market was strictly dominated by closed source and commercial tools, the last few years were characterized by the birth of open source solutions: first as ...
132
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: The knowledge about proteins with specific interaction capacity to the protein partners is very important for the modeling of cell signaling networks. However, the exp...