8719 search results - page 1449 / 1744 » A Categorical Approach to Simulations |
170
click to vote
CODES
2001
IEEE
15 years 10 months ago
2001
IEEE
In this paper, we present a proposal for a UML profile called `Embedded UML'. Embedded UML represents a synthesis of various ideas in the real-time UML community, and concept...
153
click to vote
CHARME
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. I develop a compositional theory of refinement for the branching time framework based on stuttering simulation and prove that if one system refines another, then a refine...
162
click to vote
FPL
2000
Springer
15 years 10 months ago
2000
Springer
State-of-the-art FPGAs possess I/O resources that can be configured to support a wide variety of I/O standards [1]. In such devices, the I/O resources are grouped into banks. One o...
204
click to vote
GECCO
2000
Springer
15 years 10 months ago
2000
Springer
Image segmentation is an important process of image analysis. Most of the published approaches for image segmentation need to set appropriate parameter values to cope with the unc...
176
click to vote
GECCO
2000
Springer
15 years 10 months ago
2000
Springer
This paper describes an evolutionary way to acquire behaviors of a mobile robot for recognizing environments. We have proposed AEM (Action-based Environment Modeling) approach for...