Sciweavers

5232 search results - page 672 / 1047
» Generative modeling: a symbolic system for geometric modelin...
Sort
View
ARTMED
2005
109views more  ARTMED 2005»
15 years 6 months ago
Customization in a unified framework for summarizing medical literature
Objectives: We present the summarization system in the PERSIVAL medical digital library. Although we discuss the context of our summarization research within the PERSIVAL platform...
Noemie Elhadad, Min-Yen Kan, Judith L. Klavans, Ka...
CODES
2010
IEEE
15 years 4 months ago
Worst-case performance analysis of synchronous dataflow scenarios
Synchronous Dataflow (SDF) is a powerful analysis tool for regular, cyclic, parallel task graphs. The behaviour of SDF graphs however is static and therefore not always able to ac...
Marc Geilen, Sander Stuijk
FMAM
2010
157views Formal Methods» more  FMAM 2010»
15 years 4 months ago
An Experience on Formal Analysis of a High-Level Graphical SOA Design
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova
ICRA
2007
IEEE
176views Robotics» more  ICRA 2007»
16 years 1 months ago
Bipedal Walking and Running with Compliant Legs
— Passive dynamics plays an important role in legged locomotion of the biological systems. The use of passive dynamics is expected for energy efficiency, self-stabilization agai...
Fumiya Iida, Juergen Rummel, André Seyfarth
WSC
2000
15 years 8 months ago
Using simulation to evaluate cargo ship design on the LPD17 program
As part of the design of the next generation Naval Amphibious Transport Dock Ship (LPD17), simulation was used to evaluate the arrangement and flow of cargo on the ship and to int...
Joseph Hugan