2635 search results - page 446 / 527 » Refactoring Process Models in Large Process Repositories |
101
click to vote
PLDI
2006
ACM
15 years 5 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...
CVPR
2010
IEEE
2010
IEEE
Simultaneous surveillance camera calibration and foot-head homology estimation from human detections
15 years 4 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...
CLUSTER
2005
IEEE
15 years 4 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...
113
click to vote
DFMA
2005
IEEE
15 years 4 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...
ICRA
2005
IEEE
15 years 4 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...