875 search results - page 91 / 175 » Specification Modules for Methodical System Development |
131
Voted
CORR
2008
Springer
15 years 5 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...
145
click to vote
POPL
2000
ACM
15 years 8 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...
184
Voted
WONTO
2008
15 years 6 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...
146
click to vote
TSMC
1998
15 years 4 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...
183
click to vote
CBSQ
2003
Springer
15 years 10 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...