959 search results - page 7 / 192 » Transfers between Logics and their Applications |
CIKM
2010
Springer
14 years 10 months ago
2010
Springer
Multi-view learning algorithms typically assume a complete bipartite mapping between the different views in order to exchange information during the learning process. However, ma...
SIGCSE
2005
ACM
15 years 5 months ago
2005
ACM
Courses in Relational Databases largely use a domain-specific design approach different from that used in the rest of the curriculum. Use of the Unified Process, UML, and Design P...
113
Voted
RECOMB
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. In a horizontal gene transfer (HGT) event a gene is transferred between two species that do not share an ancestor-descendant relationship. Typically, no more than a few g...
106
Voted
IPL
2008
14 years 11 months ago
2008
Undefined terms involving the application of partial functions and operators are common in program specifications and in discharging proof obligations that arise in design. One wa...
COGNITIVE
2001
Springer
15 years 4 months ago
2001
Springer
The present study is focused on usability issues related to laparoscopy, emphasizing the surgeon’s overall satisfaction with the mediated perception of reality. We were particul...