Sciweavers

4476 search results - page 527 / 896
» A flexible framework for engineering
Sort
View
HASE
1998
IEEE
15 years 10 months ago
Design for Constraint Violation Detection in Safety-Critical Systems
In safety-critical systems, certain safety constraints must be satisfied before an operation can be performed. Such constraints typically depend on the state of the system at the ...
Satish Subramanian, Sanjai Rayadurgam, Wei-Tek Tsa...
IPPS
1998
IEEE
15 years 10 months ago
Airshed Pollution Modeling: A Case Study in Application Development in an HPF Environment
In this paper, we describe our experience with developing Airshed, a large pollution modeling application, in the Fx programming environment. We demonstrate that high level parall...
Jaspal Subhlok, Peter Steenkiste, James M. Stichno...
PRICAI
2000
Springer
15 years 10 months ago
Unified Criterion of State Generalization for Reactive Autonomous Agents
Autonomous state generalization problem is a key issue in the research field of behavior learning of reactive agents, and many approaches have been proposed in recent years. Howeve...
Takehisa Yairi, Koichi Hori, Shinichi Nakasuka
AISC
2008
Springer
15 years 8 months ago
Notations for Living Mathematical Documents
Abstract. Notations are central for understanding mathematical discourse. Readers would like to read notations that transport the meaning well and prefer notations that are familia...
Michael Kohlhase, Christine Müller, Florian R...
ICPR
2010
IEEE
15 years 8 months ago
Geodesic Active Fields on the Sphere
In this paper, we propose a novel method to register images defined on spherical meshes. Instances of such spherical images include inflated cortical feature maps in brain medical ...
Dominique Zosso, Jean-Philippe Thiran