Sciweavers

2061 search results - page 319 / 413
» Measuring Corner Properties
Sort
View
AAAI
2000
15 years 5 months ago
Redundancy in Random SAT Formulas
The random k-SAT model is extensively used to compare satisfiability algorithms or to find the best settings for the parameters of some algorithm. Conclusions are derived from the...
Yacine Boufkhad, Olivier Roussel
SGP
2003
15 years 5 months ago
Rotation Invariant Spherical Harmonic Representation of 3D Shape Descriptors
One of the challenges in 3D shape matching arises from the fact that in many applications, models should be considered to be the same if they differ by a rotation. Consequently, w...
Michael M. Kazhdan, Thomas A. Funkhouser, Szymon R...
133
Voted
FTCS
1998
91views more  FTCS 1998»
15 years 5 months ago
How Fail-Stop are Faulty Programs?
Most fault-tolerant systems are designed to stop faulty programs before they write permanent data or communicate with other processes. This property (halt-on-failure) forms the co...
Subhachandra Chandra, Peter M. Chen
OSDI
2000
ACM
15 years 5 months ago
Performance-Driven Processor Allocation
In current multiprogrammed multiprocessor systems, to take into account the performance of parallel applications is critical to decide an efficient processor allocation. In this pa...
Julita Corbalán, Xavier Martorell, Jes&uacu...
IJCAI
1997
15 years 5 months ago
An Achievement Test for Knowledge-Based Systems: QUEM
This paper describes QUEM, a method for assessing the skill level of a knowledge-based system based on the quality of the solutions it produces. QUEM is demonstrated by using it t...
Caroline C. Hayes, Michael I. Parzen