Sciweavers

3185 search results - page 237 / 637
» Principles for modeling language design
Sort
View
ALIFE
2011
12 years 11 months ago
Untethered Hovering Flapping Flight of a 3D-Printed Mechanical Insect
This project focuses on developing a flapping-wing hovering insect using 3D printed wings and mechanical parts. The use of 3D printing technology has greatly expanded the possibi...
Charles Richter, Hod Lipson
OWLED
2008
13 years 9 months ago
Representing Product Designs Using a Description Graph Extension to OWL 2
Product development requires the ability to check design consistency, to verify design properties, and to answer questions about a design's possible implementations. These tas...
Henson Graves
ISSS
1995
IEEE
109views Hardware» more  ISSS 1995»
13 years 11 months ago
1995 high level synthesis design repository
In this paper we brie y describe a set of designs that can serve as examples for High Level Synthesis (HLS) systems. The designs vary in complexity from simple behavioral nite st...
Preeti Ranjan Panda, Nikil D. Dutt
AIIA
2007
Springer
14 years 2 months ago
Curricula Modeling and Checking
In this work, we present a constrained-based representation for specifying the goals of “course design”, that we call curricula model, and introduce a graphical language, groun...
Matteo Baldoni, Cristina Baroglio, Elisa Marengo
ATAL
2005
Springer
14 years 1 months ago
From concepts to agents: towards a framework for multi-agent system modelling
Whilst tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program code. AUML dev...
Richard Hill, Simon Polovina, Martin D. Beer