3072 search results - page 518 / 615 » Shape analysis algorithm based on information theory |
103
click to vote
IFM
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
146
click to vote
TOMACS
2011
14 years 4 months ago
2011
We consider the problem of the exact simulation of random variables Z that satisfy the distributional identity Z L = V Y + (1 − V )Z, where V ∈ [0, 1] and Y are independent, an...
175
click to vote
ICDE
2008
IEEE
15 years 11 months ago
2008
IEEE
When disseminating data involving human subjects, researchers have to weigh in the requirements of privacy of the individuals involved in the data. A model widely used for enhancin...
SIGIR
2009
ACM
15 years 4 months ago
2009
ACM
Long queries frequently contain many extraneous terms that hinder retrieval of relevant documents. We present techniques to reduce long queries to more effective shorter ones tha...
EEE
2005
IEEE
15 years 3 months ago
2005
IEEE
The rapid growth of XML adoption has urged for the need of a proper representation for semi-structured documents, where the document structural information has to be taken into ac...