Sciweavers

4163 search results - page 714 / 833
» A comprehensive combination framework
Sort
View
IANDC
2007
94views more  IANDC 2007»
15 years 6 months ago
Mediating secure information flow policies
In this paper we study secure information flow policies in the sense of Meadows [12] and others for aggregated datasets, collectively. We first present a method for combining di...
Guo-Qiang Zhang
PR
2006
112views more  PR 2006»
15 years 6 months ago
Understanding gestures with systematic variations in movement dynamics
Sign language communication includes not only lexical sign gestures but also grammatical processes which represent inflections through systematic variations in sign appearance. We...
Sylvie C. W. Ong, Surendra Ranganath, Yedatore Ven...
IJCV
2007
145views more  IJCV 2007»
15 years 6 months ago
Building Outline Extraction from Digital Elevation Models Using Marked Point Processes
— This work presents an automatic algorithm for extracting vectorial land registers from altimetric data in dense urban areas. We focus on elementary shape extraction and propose...
Mathias Ortner, Xavier Descombes, Josiane Zerubia
SP
2008
IEEE
162views Security Privacy» more  SP 2008»
15 years 6 months ago
Fable: A Language for Enforcing User-defined Security Policies
This paper presents FABLE, a core formalism for a programming language in which programmers may specify security policies and reason that these policies are properly enforced. In ...
Nikhil Swamy, Brian J. Corcoran, Michael Hicks
TASLP
2008
149views more  TASLP 2008»
15 years 6 months ago
Using Articulatory Representations to Detect Segmental Errors in Nonnative Pronunciation
Abstract--Motivated by potential applications in second-language pedagogy, we present a novel approach to using articulatory information to improve automatic detection of typical p...
Joseph Tepperman, Shrikanth Narayanan