2500 search results - page 212 / 500 » Specifying Behavior in C |
129
Voted
VMCAI
2004
Springer
15 years 9 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...
126
Voted
CEC
2003
IEEE
15 years 9 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...
110
Voted
MICCAI
2001
Springer
15 years 8 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...
124
Voted
ACSAC
2000
IEEE
15 years 8 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...
129
Voted
ICRA
1999
IEEE
15 years 8 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...