6167 search results - page 123 / 1234 » Can Refinement be Automated |
122
click to vote
IROS
2009
IEEE
15 years 11 months ago
2009
IEEE
— This paper presents a mechanism and a control strategy that enables automated non-contact manipulation of spherical objects in three dimensions using air flow, and demonstrate...
117
click to vote
KI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In recent years there has been a growing demand for Automated Theorem Proving (ATP) in large theories, which often have more axioms than can be handled effectively as no...
131
click to vote
FDL
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper presents work in progress to explore the possibility of combining model-driven and domain modeling techniques to facilitate support for reuse and automation. The approa...
116
click to vote
DOCENG
2004
ACM
15 years 8 months ago
2004
ACM
A measure of aesthetics that has been used in automated layout is described. The approach combines heuristic measures of attributes that degrade the aesthetic quality. The combina...
123
click to vote
FPL
2006
Springer
15 years 8 months ago
2006
Springer
Pre-designed IP cores for FPGAs represent a huge intellectual and financial wealth that must be leveraged by any high-level tool targeting reconfigurable platforms. In this paper ...