Sciweavers

2610 search results - page 200 / 522
» Computational Probabilistic Non-interference
Sort
View
122
Voted
BIRTHDAY
2009
Springer
15 years 10 months ago
Data Modeling in Dataspace Support Platforms
Data integration has been an important area of research for several years. However, such systems suffer from one of the main drawbacks of database systems: the need to invest signi...
Anish Das Sarma, Xin Luna Dong, Alon Y. Halevy
ICPR
2008
IEEE
15 years 10 months ago
Orientation and scale invariant mean shift using object mask-based kernel
In this paper, we propose a new method for object tracking based on mean shift algorithm using a kernel which has the shape of the target object, and with probabilistic estimation...
Kwang Moo Yi, Ho Seok Ahn, Jin Young Choi
IUI
2006
ACM
15 years 9 months ago
Eye-tracking to model and adapt to user meta-cognition in intelligent learning environments
In this paper we describe research on using eye-tracking data for on-line assessment of user meta-cognitive behavior during the interaction with an intelligent learning environmen...
Christina Merten, Cristina Conati
STACS
2005
Springer
15 years 9 months ago
Recursive Markov Chains, Stochastic Grammars, and Monotone Systems of Nonlinear Equations
We introduce and study Recursive Markov Chains (RMCs), which extend ordinary finite state Markov chains with the ability to invoke other Markov chains in a potentially recursive m...
Kousha Etessami, Mihalis Yannakakis
STACS
2001
Springer
15 years 8 months ago
Small PCPs with Low Query Complexity
Most known constructions of probabilistically checkable proofs (PCPs) either blow up the proof size by a large polynomial, or have a high (though constant) query complexity. In thi...
Prahladh Harsha, Madhu Sudan