AAAI
2011
13 years 7 months ago
2011
Suppose an unpredictable evader is free to move around in a polygonal environment of arbitrary complexity that is under full camera surveillance. How many pursuers, each with the ...
VL
2000
IEEE
14 years 11 months ago
2000
IEEE
We describe a language-independent and specificationdriven program rendering tool that is able to produce highquality code renderings of arbitrary complexity. The tool can incorp...
TGC
2005
Springer
15 years 19 days ago
2005
Springer
Abstract. We present a formal system that models programmable abstractions for access control. Composite abstractions and patterns of arbitrary complexity are modeled as a configu...