Sciweavers

2266 search results - page 420 / 454
» Evolutionary Algorithms for the Satisfiability Problem
Sort
View
BIS
2010
159views Business» more  BIS 2010»
14 years 8 months ago
Comparing Intended and Real Usage in Web Portal: Temporal Logic and Data Mining
Nowadays the software systems, including web portals, are developed from a priori assumptions about how the system will be used. However, frequently these assumptions hold only par...
Jérémy Besson, Ieva Mitasiunaite, Au...
TDP
2010
189views more  TDP 2010»
14 years 8 months ago
The PROBE Framework for the Personalized Cloaking of Private Locations
The widespread adoption of location-based services (LBS) raises increasing concerns for the protection of personal location information. A common strategy, referred to as obfuscati...
Maria Luisa Damiani, Elisa Bertino, Claudio Silves...
ICASSP
2011
IEEE
14 years 5 months ago
Denoising sparse noise via online dictionary learning
The idea of learning overcomplete dictionaries based on the paradigm of compressive sensing has found numerous applications, among which image denoising is considered one of the m...
Anoop Cherian, Suvrit Sra, Nikolaos Papanikolopoul...
ICDE
2012
IEEE
208views Database» more  ICDE 2012»
13 years 3 months ago
Fast SLCA and ELCA Computation for XML Keyword Queries Based on Set Intersection
— In this paper, we focus on efficient keyword query processing for XML data based on SLCA and ELCA semantics. We propose for each keyword a novel form of inverted list, which i...
Junfeng Zhou, Zhifeng Bao, Wei Wang, Tok Wang Ling...
CVPR
2012
IEEE
13 years 3 months ago
Maximum weight cliques with mutex constraints for video object segmentation
In this paper, we address the problem of video object segmentation, which is to automatically identify the primary object and segment the object out in every frame. We propose a n...
Tianyang Ma, Longin Jan Latecki