Sciweavers

1278 search results - page 150 / 256
» The representation of policies as system objects
Sort
View
CCS
2007
ACM
16 years 16 days ago
Specifying and analyzing security automata using CSP-OZ
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
David A. Basin, Ernst-Rüdiger Olderog, Paul E...
APGV
2010
ACM
227views Visualization» more  APGV 2010»
15 years 10 months ago
Measuring the perception of light inconsistencies
In this paper we explore the ability of the human visual system to detect inconsistencies in the illumination of objects in images. We specifically focus on objects being lit fro...
Jorge Lopez-Moreno, Veronica Sundstedt, Francisco ...
CBMS
2002
IEEE
15 years 11 months ago
Content-Based and Metadata Retrieval in Medical Image Database
The need for systems that can stock, represent, and provide efficient retrieval facilities of images of particular interest is becoming very high in medicine. In this respect, a l...
Solomon Atnafu, Richard Chbeir, Lionel Brunie
ICRA
2003
IEEE
167views Robotics» more  ICRA 2003»
15 years 11 months ago
Local exploration: online algorithms and a probabilistic framework
— Mapping an environment with an imaging sensor becomes very challenging if the environment to be mapped is unknown and has to be explored. Exploration involves the planning of v...
Volkan Isler, Sampath Kannan, Kostas Daniilidis
ICCCI
2010
Springer
15 years 4 months ago
Strategic Health Information Management and Forecast: The Birdwatching Approach
Abstract. To facilitate communication and the exchange of information between patients, nurses, lab technicians, health insurers, physicians, policy makers, and existing knowledge-...
Arash Shaban-Nejad, Volker Haarslev