Sciweavers

4332 search results - page 408 / 867
» A Probabilistic Identification Result
Sort
View
CHI
2007
ACM
16 years 7 months ago
Modeling pointing at targets of arbitrary shapes
We investigate pointing at graphical targets of arbitrary shapes. We first describe a previously proposed probabilistic Fitts' law model [7] which, unlike previous models tha...
Tovi Grossman, Nicholas Kong, Ravin Balakrishnan
PODS
2005
ACM
119views Database» more  PODS 2005»
16 years 7 months ago
Security analysis of cryptographically controlled access to XML documents
Some promising recent schemes for XML access control employ encryption for implementing security policies on published data, avoiding data duplication. In this paper we study one ...
Bogdan Warinschi, Martín Abadi
ATVA
2009
Springer
149views Hardware» more  ATVA 2009»
16 years 1 months ago
A Decompositional Proof Scheme for Automated Convergence Proofs of Stochastic Hybrid Systems
In this paper, we describe a decompositional approach to convergence proofs for stochastic hybrid systems given as probabilistic hybrid automata. We focus on a concept called “st...
Jens Oehlerking, Oliver E. Theel
DATE
2007
IEEE
92views Hardware» more  DATE 2007»
16 years 1 months ago
Dynamic power management under uncertain information
This paper tackles the problem of dynamic power management (DPM) in nanoscale CMOS design technologies that are typically affected by increasing levels of process, voltage, and te...
Hwisung Jung, Massoud Pedram
ICASSP
2007
IEEE
16 years 1 months ago
Toward Turbo Decoding of RNA Secondary Structure
We propose an iterative probabilistic algorithm for estimation of RNA secondary structure using sequence data from two homologous sequences. The method is intended to exploit inte...
Arif Ozgun Harmanci, Gaurav Sharma, David H. Mathe...