2374 search results - page 161 / 475 » Automatic Generation of Model Translations |
174
click to vote
ICESS
2005
Springer
16 years 18 hour ago
2005
Springer
PeaCE(Ptolemy extension as a Codesign Environment) was developed for the hardware and software codesign framework which allows us to express both data flow and control flow. The fF...
190
click to vote
BMVC
1998
15 years 7 months ago
1998
A method of extracting, classifying and modelling non-rigid shapes from an image sequence is presented. Shapes are approximated by polygons where the number of sides is related to...
284
click to vote
ECCB
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful t...
162
click to vote
AAMAS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. This paper gives an overview of our recent work on an approach to verifying multi-agent programs. We automatically translate multi-agent systems programmed in the logic-b...
213
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
This work presents an automatic technique for detection of abnormal events in crowds. Crowd behaviour is difficult to predict and might not be easily semantically translated. More...