3994 search results - page 747 / 799 » A Linear Logical Framework |
113
click to vote
NIPS
2004
15 years 1 months ago
2004
We describe a framework for learning an object classifier from a single example. This goal is achieved by emphasizing the relevant dimensions for classification using available ex...
114
click to vote
CCGRID
2010
IEEE
15 years 29 days ago
2010
IEEE
The MPI programming model hides network type and topology from developers, but also allows them to seamlessly distribute a computational job across multiple cores in both an intra ...
CSL
2010
Springer
15 years 28 days ago
2010
Springer
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...
102
click to vote
ARTMED
2007
14 years 12 months ago
2007
Objective: This study investigates the use of automated pattern recognition methods on magnetic resonance data with the ultimate goal to assist clinicians in the diagnosis of brai...
116
click to vote
BMCBI
2006
14 years 12 months ago
2006
Background: Sequence comparison is one of the most prominent tools in biological research, and is instrumental in studying gene function and evolution. The rapid development of hi...