746 search results - page 73 / 150 » On the Generation of Oriented Matroids |
EUROMICRO
2009
IEEE
14 years 3 months ago
2009
IEEE
—We propose a software engineering process to aid the development of Dynamic Software Architectures (DSAs). This process is based on the sequential application of a number of for...
ICRA
1994
IEEE
14 years 27 days ago
1994
IEEE
This paper presents an observer-based approach to the determination of environment forces acting on a rigid body. Actuation forces, measured positions and orientations and identi ...
ATAL
2008
Springer
13 years 10 months ago
2008
Springer
The Prometheus Design Tool (PDT) is an agent development tool that supports the Prometheus design methodology and includes features like automated code generation. We enhance this...
CARS
2004
13 years 10 months ago
2004
Several modalities like CT, MRI, or U/S are used for the imaging of the myocardium and the adjacent cavity. The American Heart Association (AHA) has published recommendations for ...
FORTE
2004
13 years 10 months ago
2004
In this paper, we present an approach for modeling an existing web application using communicating finite automata model based on the userdefined properties to be validated. We ela...