2152 search results - page 91 / 431 » On Automating the Calculus of Relations |
BMCBI
2004
15 years 17 days ago
2004
Background: The functional selection and three-dimensional structural constraints of proteins in nature often relates to the retention of significant sequence similarity between p...
109
click to vote
JFP
2000
15 years 15 days ago
2000
Indeterminism is typical for concurrent computation. If several concurrent actors compete for the same resource then at most one of them may succeed, whereby the choice of the suc...
105
click to vote
WCRE
2008
IEEE
15 years 7 months ago
2008
IEEE
Concept location techniques are designed to help isolate sections of source code that relate to specific concepts. Blind Signal Separation techniques like Singular Value Decompos...
94
Voted
DAGSTUHL
2004
15 years 2 months ago
2004
The paper represents current achievements of an ongoing research that aims to develop a formal approach supporting an automatic selection of a Web service sought by a requestor. Th...
COMPSAC
2003
IEEE
15 years 6 months ago
2003
IEEE
Usual techniques for automatic test data generation are based on the assumption that a complete oracle will be available during the testing process. However, there are programs fo...