875 search results - page 91 / 175 » Specification Modules for Methodical System Development |
104
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Particle Image Velocimetry (PIV) is a method of imaging and analysing fields of flows. The PIV techniques compute and display all the motion vectors of the field in a resulting im...
121
click to vote
POPL
2000
ACM
15 years 6 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
152
click to vote
WONTO
2008
15 years 3 months ago
2008
Abstract. Ontologies constitute an approach for knowledge representation that can be shared establishing a shared vocabulary for different applications and are also the backbone of...
118
click to vote
TSMC
1998
15 years 2 months ago
1998
Abstract—We present a general scheme for learning sensorimotor tasks which allows rapid on-line learning and generalization of the learned knowledge to unfamiliar objects. The sc...
157
Voted
CBSQ
2003
Springer
15 years 7 months ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...