5550 search results - page 199 / 1110 » Different Approaches to Proof Systems |
203
click to vote
IUI
2006
ACM
16 years 15 days ago
2006
ACM
Studying the relationship between natural language and affective information as well as assessing the underpinned affective qualities of natural language are becoming crucial for ...
197
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
Classifying pictures into one of several semantic categories is a classical image understanding problem. In this paper, we present a stratified approach to both binary (outdoor-in...
165
click to vote
IUI
2006
ACM
16 years 15 days ago
2006
ACM
Automated software customization is drawing increasing attention as a means to help users deal with the scope, complexity, potential intrusiveness, and ever-changing nature of mod...
176
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: A better understanding of the mechanisms involved in gas-phase fragmentation of peptides is essential for the development of more reliable algorithms for high-throughp...
170
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Whereas the molecular assembly of protein expression clones is readily automated and routinely accomplished in high throughput, sequence verification of these clones i...