2586 search results - page 150 / 518 » Automatic Abstraction for Congruences |
COGSCI
2004
14 years 10 months ago
2004
People spontaneously discover new representations during problem solving. Discovery of a mathematical representation is of special interest, because it shows that the underlying s...
122
Voted
LBM
2007
14 years 11 months ago
2007
Background: Extracting Protein-Protein Interactions (PPI) from research papers is a way of translating information from English to the language used by the databases that store th...
105
click to vote
ICSE
2012
IEEE-ACM
13 years 15 days ago
2012
IEEE-ACM
Abstract—Customizable programs and program families provide user-selectable features to allow users to tailor a program to an application scenario. Knowing in advance which featu...
109
click to vote
ICSE
2012
IEEE-ACM
13 years 15 days ago
2012
IEEE-ACM
Abstract—Key program interfaces are sometimes documented with usage examples: concrete code snippets that characterize common use cases for a particular data type. While such doc...
ECCV
2008
Springer
16 years 1 hour ago
2008
Springer
Abstract. We present an approach for the dynamic combination of multiple cues in a particle filter-based tracking framework. The proposed algorithm is based on a combination of dem...