Sciweavers

35 search results - page 4 / 7
» PRISM - Privacy-Preserving Search in MapReduce
Sort
View
TSE
2010
123views more  TSE 2010»
13 years 27 days ago
Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking
Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper we apply directed explicit state space search to discrete- a...
Husain Aljazzar, Stefan Leue
ICIP
2007
IEEE
14 years 8 months ago
View Synthesis for Robust Distributed Video Compression in Wireless Camera Networks
We propose a method for delivering error-resilient video from wireless camera networks in a distributed fashion over lossy channels. Our scheme is based on distributed source codi...
Chuohao Yeo, Jiajun Wang, Kannan Ramchandran
FORMATS
2006
Springer
13 years 10 months ago
Extended Directed Search for Probabilistic Timed Reachability
Current numerical model checkers for stochastic systems can efficiently analyse stochastic models. However, the fact that they are unable to provide debugging information constrain...
Husain Aljazzar, Stefan Leue
SIGIR
2010
ACM
13 years 29 days ago
The 8th workshop on large-scale distributed systems for information retrieval (LSDS-IR'10)
The size of the Web as well as user bases of search systems continue to grow exponentially. Consequently, providing subsecond query response times and high query throughput become...
Roi Blanco, Berkant Barla Cambazoglu, Claudio Lucc...
MVA
1994
224views Computer Vision» more  MVA 1994»
13 years 7 months ago
3D Object Model Fitting to Still Images Using Linear Combination Method of 2D Aspect Images
This paper describes a method for fitting 3D object model to still (single) 2D observed image by searching for the model's optimum posture parameters in the parameter space t...
Hiroyasu Sakamoto, Masahide Kawakami