2500 search results - page 212 / 500 » Specifying Behavior in C |
163
click to vote
VMCAI
2004
Springer
15 years 11 months ago
2004
Springer
Biological systems can be modeled beneficially as reactive systems, using languages and tools developed for the construction of man-made systems. Our long-term aim is to model a f...
162
click to vote
CEC
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract- This paper describes an approach to continuous coevolution of form (the morphology) and function (the control behavior) for autonomous vehicles. This study focuses on coe...
140
click to vote
MICCAI
2001
Springer
15 years 11 months ago
2001
Springer
This paper describes the basis and behavior of segmentation of single figures in 3D by deformable m-reps models. Results are given for the segmentation of kidneys from CT and of h...
166
click to vote
ACSAC
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper describes two recently developed intrusion detection algorithms, and gives experimental results on their performance. The algorithms detect anomalies in execution audit...
159
click to vote
ICRA
1999
IEEE
15 years 10 months ago
1999
IEEE
The modeling and control flexible-manufacturing workcells (FMCs) has generally been performed in a hierarchical structure, where at the highest level they have been modeled as dis...