6167 search results - page 121 / 1234 » Can Refinement be Automated |
151
click to vote
ISMB
2000
15 years 5 months ago
2000
Determination of the functions of all expressed proteins represents one of the major upcoming challenges in computational molecular biology. Since subcellular location plays a cru...
139
click to vote
IJRR
2008
15 years 4 months ago
2008
Designing distributed controllers for self-reconfiguring modular robots has been consistently challenging. We have developed a reinforcement learning approach which can be used bo...
157
click to vote
SP
2008
IEEE
15 years 4 months ago
2008
IEEE
The integration of scalable performance analysis in parallel development tools is difficult. The potential size of data sets and the need to compare results from multiple experime...
141
click to vote
SEMWEB
2010
Springer
15 years 2 months ago
2010
Springer
Recent technology developments in the area of services on the Web are marked by the proliferation of Web applications and APIs. The implementation and evolution of applications bas...
142
click to vote
CADE
2007
Springer
15 years 10 months ago
2007
Springer
We develop and implement a novel algorithm for discovering the optimal sets of premisses for proving and disproving conjectures in first-order logic. The algorithm uses interpret...