5550 search results - page 1026 / 1110 » Different Approaches to Proof Systems |
149
click to vote
NIPS
1997
15 years 7 months ago
1997
Image intensity variations can result from several different object surface effects, including shading from 3-dimensional relief of the object, or paint on the surface itself. An ...
181
click to vote
AAAI
2010
15 years 6 months ago
2010
The goal of testing is to discriminate between multiple hypotheses about a system--for example, different fault diagnoses--by applying input patterns and verifying or falsifying t...
167
click to vote
AI
2010
Springer
15 years 6 months ago
2010
Springer
Today's computer-human interfaces are typically designed with the assumption that they are going to be used by an able-bodied person, who is using a typical set of input and ...
179
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Gene clustering for annotating gene functions is one of the fundamental issues in bioinformatics. The best clustering solution is often regularized by multiple constra...
161
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: The activity of proteins within the cell is characterized by their motions, flexibility, interactions or even the particularly intriguing case of partially unfolded st...