2060 search results - page 50 / 412 » The Composition of Event-B Models |
123
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
Performance tuning involves a diagnostic process to locate and explain sources of program inefficiency. A performance diagnosis system can leverage knowledge of performance cause...
127
click to vote
AMDO
2006
Springer
15 years 7 months ago
2006
Springer
An appraisal of human motions and particular motion phases is essential for a good interaction between a human and a humanoid robot. We present a new method for the analysis of hum...
109
click to vote
APIN
2006
15 years 3 months ago
2006
In the past decade, compositional modelling (CM) has established itself as the predominant knowledge-based approach to construct mathematical (simulation) models automatically. Al...
138
Voted
CVPR
2010
IEEE
15 years 11 months ago
2010
IEEE
We propose Recursive Compositional Models (RCMs) for simultaneous multi-view multi-object detection and parsing (e.g. view estimation and determining the positions of the object s...
127
click to vote
DAC
2002
ACM
16 years 4 months ago
2002
ACM
We present a compositional approach to analyze timing behavior of complex platforms with different scheduling strategies. The approach uses event interfacing in order to couple pr...