245 search results - page 37 / 49 » On the Average-Case Complexity of Property Testing |
136
click to vote
SACMAT
2010
ACM
15 years 6 months ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
SIGGRAPH
2010
ACM
15 years 5 months ago
2010
ACM
We present a new sketch-based modeling approach in which models are interactively designed by drawing their 2D silhouettes from different views. The core idea of our paper is to l...
104
click to vote
CVPR
1997
IEEE
15 years 5 months ago
1997
IEEE
We describe a new multi-phase, color-based image retrieval system, FOCUS Fast Object Color-based qUery System , with an online user interface which is capable of identifying mult...
121
click to vote
COMPSAC
2007
IEEE
15 years 5 months ago
2007
IEEE
Access control is one of the most fundamental and widely used security mechanisms. Access control mechanisms control which principals such as users or processes have access to whi...
GECCO
2006
Springer
15 years 4 months ago
2006
Springer
In this paper we set the first steps towards the development of a commercially viable tool that uses evolutionary computation to address the Product to Shelf Allocation Problem (P...