2500 search results - page 212 / 500 » Specifying Behavior in C |
182
Voted
VMCAI
2004
Springer
16 years 11 days 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...
182
Voted
CEC
2003
IEEE
16 years 10 days 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...
154
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...
181
Voted
ACSAC
2000
IEEE
15 years 11 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...
169
Voted
ICRA
1999
IEEE
15 years 11 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...