4693 search results - page 482 / 939 » Verifying Hybrid Systems |
198
click to vote
ICDAR
2009
IEEE
15 years 4 months ago
2009
IEEE
After the handwritten segmentation process, it is common to have connected digits. This is due to the great size and shape digit variations. In addition, the acquisition and the b...
203
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
The agentTool III (aT3 ) development environment is built on the Eclipse platform and provides traditional model creation tools to support the analysis, design, and implementation...
179
click to vote
CSFW
2005
IEEE
16 years 20 days ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
195
click to vote
LPAR
2005
Springer
16 years 16 days ago
2005
Springer
Model checking is a useful method to verify automatically the correctness of a system with respect to a desired behavior, by checking whether a mathematical model of the system sat...
196
click to vote
ISER
2004
Springer
16 years 12 days ago
2004
Springer
We have been trying to induce a quadruped robot to walk with medium walking speed on irregular terrain based on biological concepts. We propose the essential conditions for stable ...