5608 search results - page 583 / 1122 » Structure description tools |
169
click to vote
EH
2004
IEEE
15 years 10 months ago
2004
IEEE
The properties of engineering structures, such as robotic arms, aircrafts or bridges, rely on the properties of the materials used to build them. The internal architecture of the ...
165
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
We propose a model for modular synchronous systems with combinational dependencies and define consistency using this model. We then show how to derive this model from a modular spe...
199
click to vote
WLP
2000
Springer
15 years 10 months ago
2000
Springer
Attempto Controlled English (ACE) is a controlled natural language, i.e. a precisely defined subset of English that can automatically and unambiguously be translated into first-ord...
170
click to vote
WSC
2007
15 years 9 months ago
2007
Conceptual models serve as abstractions of user’s perceptions of a system. The choice and detailing of these abstractions are key to model use and understanding for analyst and ...
165
click to vote
BILDMED
2008
15 years 8 months ago
2008
Manual landmark positioning in volumetric image data is a complex task and often results in erroneous landmark positions. The landmark positioning tool presented uses image curvatu...