4650 search results - page 201 / 930 » Generating and evaluating evaluative arguments |
81
Voted
MKM
2007
Springer
15 years 4 months ago
2007
Springer
To be effective and useful, math search systems must not only maximize precision and recall, but also present the query hits in a form that makes it easy for the user to identify...
100
click to vote
BMCBI
2007
14 years 10 months ago
2007
Background: Since many of the new protein structures delivered by high-throughput processes do not have any known function, there is a need for structure-based prediction of prote...
90
Voted
SPIN
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Computational resources are increasing rapidly with the explosion of multi-core processors readily available from major vendors. Model checking needs to harness these res...
ICCV
1995
IEEE
15 years 1 months ago
1995
IEEE
This paper describes a method of systematically generating visual sensing strategies based on knowledge of the assembly task to be performed. Since visual sensing is usually perfo...
119
click to vote
SIGGRAPH
1992
ACM
15 years 2 months ago
1992
ACM
This paper discusses a new, symbolic approach to geometric modeling called generative modeling. The approach allows specification, rendering, and analysis of a wide variety of sha...