4359 search results - page 517 / 872 » Automated Pipeline Design |
198
click to vote
CSL
2007
Springer
16 years 28 days ago
2007
Springer
A focused proof system provides a normal form to cut-free proofs that structures the application of invertible and non-invertible inference rules. The focused proof system of Andre...
155
click to vote
ICWL
2007
Springer
16 years 28 days ago
2007
Springer
AGILMAT is a web application designed to help students learn Mathematics, with focus on high-school algebra and calculus drills. A modular and extensible architecture and a wizard-...
151
click to vote
SEMWEB
2007
Springer
16 years 27 days ago
2007
Springer
Since engineered systems, e.g. aviation control, have increasingly equipped with automated and computer-supported artifacts, human-system interaction has been an important issue. U...
155
click to vote
ICRA
2006
IEEE
16 years 24 days ago
2006
IEEE
Abstract— Compliant mechanisms provide an attractive alternative to conventional rigid mechanisms in the design of ultra low-cost precision positioning systems. The desirable per...
173
click to vote
ISSRE
2006
IEEE
16 years 24 days ago
2006
IEEE
In a Model-Driven Development context (MDE), model transformations allow memorizing and reusing design know-how, and thus automate parts of the design and refinement steps of a so...