Sciweavers

3523 search results - page 227 / 705
» Feature interaction in policies
Sort
View
ICFP
2010
ACM
15 years 7 months ago
Security-typed programming within dependently typed programming
Several recent security-typed programming languages, such as Aura, PCML5, and Fine, allow programmers to express and enforce access control and information flow policies. Most of ...
Jamie Morgenstern, Daniel R. Licata
ICML
2010
IEEE
15 years 7 months ago
Inverse Optimal Control with Linearly-Solvable MDPs
We present new algorithms for inverse optimal control (or inverse reinforcement learning, IRL) within the framework of linearlysolvable MDPs (LMDPs). Unlike most prior IRL algorit...
Dvijotham Krishnamurthy, Emanuel Todorov
ICIAP
2003
ACM
16 years 6 months ago
Perceptive visual texture classification and retrieval
In this paper we present some analysis techniques and indexing strategies aimed to support classification and retrieval of textures using only perceptual features. The goal of thi...
Sebastiano Battiato, Giovanni Gallo, Salvatore Nic...
UIST
1993
ACM
15 years 10 months ago
A Graphics Toolkit Based on Differential Constraints
This paper describes Bramble, a toolkit for constructing graphical editing applications. The primary focus of Bramble is improve support for graphical manipulation by employing di...
Michael Gleicher
CHI
2011
ACM
14 years 10 months ago
Tag clouds and keyword clouds: evaluating zero-interaction benefits
Tag clouds are typically presented so that users can actively utilize community-generated metadata to query a collection. This research investigates whether such keyword clouds, a...
Mathew J. Wilson, Max L. Wilson