10916 search results - page 159 / 2184 » On Constructive Connectives and Systems |
167
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
String diagrams are a powerful tool for reasoning about physical processes, logic circuits, tensor networks, and many other compositional structures. The distinguishing feature of...
167
click to vote
AI
1999
Springer
15 years 6 months ago
1999
Springer
A central problem in multistrategy learning systems is the selection and sequencing of machine learning algorithms for particular situations. This is typically done by the system ...
160
click to vote
MICCAI
2007
Springer
16 years 7 months ago
2007
Springer
Automated visual-tracking of cell populations in vitro using phase contrast time-lapse microscopy is vital for quantitative, systematic and high-throughput measurements of cell beh...
158
click to vote
MKM
2007
Springer
16 years 20 days ago
2007
Springer
This paper reports on ongoing work on the project of representing the Kenzo system [15] in type theory [11].