1937 search results - page 340 / 388 » Starting B Specifications from Use Cases |
121
click to vote
CADE
2007
Springer
15 years 8 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...
143
click to vote
NIPS
2008
15 years 3 months ago
2008
We present an approach to low-level vision that combines two main ideas: the use of convolutional networks as an image processing architecture and an unsupervised learning procedu...
BMCBI
2008
15 years 2 months ago
2008
Background: The prediction of conformational B-cell epitopes is one of the most important goals in immunoinformatics. The solution to this problem, even if approximate, would help...
140
click to vote
CORR
2004
Springer
15 years 1 months ago
2004
Springer
Social insect societies and more specifically ant colonies, are distributed systems that, in spite of the simplicity of their individuals, present a highly structured social organi...
117
click to vote
HUC
2010
Springer
14 years 12 months ago
2010
Springer
Life-log systems have a wide range of usages from memory augmentation to health monitoring. Recent advances in pervasive devices and sensor networks enable us to create tools that...