4266 search results - page 485 / 854 » Search for More Declarativity |
183
click to vote
TYPES
1999
Springer
15 years 11 months ago
1999
Springer
We propose a method to search for a lemma in a goq proof library by using the lemma type as a key. The method is based on the concept of type isomorphism developed within the funct...
193
Voted
COMPGEOM
1998
ACM
15 years 11 months ago
1998
ACM
Abstract. We propose a simple, general, randomized technique to reduce certain geometric optimization problems to their corresponding decision problems. These reductions increase t...
191
click to vote
ITS
1998
Springer
15 years 11 months ago
1998
Springer
TRANSoM is a collaborative effort among university and industry researchers aimed at producing an intelligent tutoring system for training pilots of remotely operated vehicles (ROV...
178
click to vote
METRICS
1997
IEEE
15 years 11 months ago
1997
IEEE
Schlumberger RPS successfully applies software measurement to support their software development projects. It is proposed that the success of their measurement practices is mainly...
198
click to vote
CVPR
1996
IEEE
15 years 11 months ago
1996
IEEE
In stereo algorithms with more than two cameras, the improvement of accuracy is often reported since they are robust against noise. However, another important aspect of the polyno...