2635 search results - page 446 / 527 » Refactoring Process Models in Large Process Repositories |
132
Voted
PLDI
2006
ACM
15 years 8 months ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
115
Voted
CVPR
2010
IEEE
2010
IEEE
Simultaneous surveillance camera calibration and foot-head homology estimation from human detections
15 years 8 months ago
We propose a novel method for automatic camera calibration and foot-head homology estimation by observing persons standing at several positions in the camera field of view. We de...
117
Voted
CLUSTER
2005
IEEE
15 years 8 months ago
2005
IEEE
In the area of Grid computing, there is a growing need to process large amounts of data. To support this trend, we need to develop efficient parallel storage systems that can prov...
140
Voted
DFMA
2005
IEEE
15 years 8 months ago
2005
IEEE
As various multimedia communication services are increasingly required by Internet users, several signaling protocols have been proposed for the efficient control of multimedia co...
117
Voted
ICRA
2005
IEEE
15 years 8 months ago
2005
IEEE
— Meetings are a very important part of everyday life for professionals working in universities, companies or governmental institutions. We have designed a physical awareness sys...