264 search results - page 33 / 53 » On the possibility of faster SAT algorithms |
ISM
2008
IEEE
15 years 4 months ago
2008
IEEE
We present a set of techniques to simplify tree models for faster rendering while retaining their visual resemblance to the original model. This goal is achieved by setting a budg...
ICRA
2006
IEEE
15 years 4 months ago
2006
IEEE
— A legged robot walking on uneven terrain can avoid falling only by applying contact forces with its feet on the ground that compensate for gravity without causing slip. To plan...
HICSS
2006
IEEE
15 years 4 months ago
2006
IEEE
Real-time frequent pattern mining for business intelligence systems are currently in the focal area of research. In a number of areas of doing business, especially in the arena of...
DNIS
2005
Springer
15 years 3 months ago
2005
Springer
With the rapid growth of the Internet, most of the textual data in the form of newspapers, magazines and journals tend to be available on-line. Summarizing these texts can aid the...
CIBCB
2009
IEEE
14 years 11 months ago
2009
IEEE
Mass spectrometry is a very popular method for protein and peptide identification nowadays. Abundance of data generated in this way grows exponentially every year and although ther...