AAAI
2011
13 years 13 days 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 4 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
14 years 6 months 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...