336 search results - page 51 / 68 » Monitoring modulo theories |
TLDI
2010
ACM
14 years 6 months ago
2010
ACM
We propose a programming language, called PCML5, for building distributed applications with distributed access control. Target applications include web-based systems in which prog...
SMA
2008
ACM
13 years 9 months ago
2008
ACM
In this paper we consider the problem of monitoring an art gallery modeled as a polygon, the edges of which are arcs of curves. We consider two types of guards: edge guards (these...
CVPR
2003
IEEE
14 years 12 months ago
2003
IEEE
Cast shadows produce troublesome effects for video surveillance systems, typically for object tracking from a fixed viewpoint, since it yields appearance variations of objects dep...
DAC
2003
ACM
14 years 11 months ago
2003
ACM
This paper addresses the problem of extending the lifetime of a batterypowered mobile host in a client-server wireless network by using task migration and remote processing. This ...
MICCAI
2004
Springer
14 years 10 months ago
2004
Springer
Two of the major imaging modalities used to detect and monitor breast cancer are (contrast enhanced) magnetic resonance (MR) imaging and mammography. Image fusion, including accura...