1344 search results - page 65 / 269 » Automatic performance analysis with periscope |
CAV
2007
Springer
15 years 3 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
SP
2008
IEEE
15 years 5 months ago
2008
IEEE
We study formal security properties of a state-of-the-art protocol for secure file sharing on untrusted storage, in the automatic protocol verifier ProVerif. As far as we know, ...
ICIP
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper, we present an automatic method for hair segmentation. Our algorithm is divided into two steps. Firstly, we take information from frequential and color analysis in o...
183
click to vote
ESWA
2011
14 years 6 months ago
2011
The types of police inquiries performed these days are incredibly diverse. Often data processing architectures are not suited to cope with this diversity since most of the case dat...
ICRA
2005
IEEE
15 years 5 months ago
2005
IEEE
— A great challange in robotics is to make robots more like humans. One important aspect is to make robots move like humans and recognize their motions. Both tasks are based on h...