10156 search results - page 47 / 2032 » Step by Step to Histories |
FCCM
2006
IEEE
15 years 5 months ago
2006
IEEE
— Many important applications are organized around long-lived, irregular sparse graphs (e.g., data and knowledge bases, CAD optimization, numerical problems, simulations). The gr...
GMP
2006
IEEE
15 years 5 months ago
2006
IEEE
Side actions contribute to mold cost by resulting in an additional manufacturing and assembly cost as well as by increasing the molding cycle time. Therefore, generating shapes of ...
103
click to vote
ICALT
2006
IEEE
15 years 5 months ago
2006
IEEE
It is difficult for a student to learn how to program and to build an understanding of the rationale which underpins the development of a program’s componentparts. Conventional ...
106
click to vote
ICCAD
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper addresses SAT-based Unbounded Model Checking based on Craig Interpolants. This recently introduced methodology is often able to outperform BDDs and other SAT-based tech...
IROS
2006
IEEE
15 years 5 months ago
2006
IEEE
— Today, lightweight SLAM algorithms are needed in many embedded robotic systems. In this paper the Orthogonal SLAM (OrthoSLAM ) algorithm is presented and empirically validated....