Sciweavers

7821 search results - page 247 / 1565
» Nested Ordered Sets and their Use for Data Modelling
Sort
View
MIS
2001
Springer
151views Multimedia» more  MIS 2001»
15 years 11 months ago
A Data Model for Querying Wavelet Features in Image Databases
Multimedia databases deal with storage and retrieval of complex descriptors of image contents, called features. Traditional techniques consider features as “black boxes,” ofte...
Simone Santini, Amarnath Gupta
SPIN
2009
Springer
16 years 1 months ago
A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks
Abstract. We present a new decision procedure for detecting property violations in pushdown models for concurrent programs that use lock-based synchronization, where each thread’...
Nicholas Kidd, Peter Lammich, Tayssir Touili, Thom...
DASFAA
2007
IEEE
199views Database» more  DASFAA 2007»
16 years 28 days ago
Detection and Visualization of Subspace Cluster Hierarchies
Subspace clustering (also called projected clustering) addresses the problem that different sets of attributes may be relevant for different clusters in high dimensional feature sp...
Elke Achtert, Christian Böhm, Hans-Peter Krie...
IJCAI
2003
15 years 8 months ago
Semi-Supervised Learning with Explicit Misclassification Modeling
This paper investigates a new approach for training discriminant classifiers when only a small set of labeled data is available together with a large set of unlabeled data. This a...
Massih-Reza Amini, Patrick Gallinari
APN
2008
Springer
15 years 8 months ago
Hierarchical Set Decision Diagrams and Automatic Saturation
Shared decision diagram representations of a state-space have been shown to provide efficient solutions for model-checking of large systems. However, decision diagram manipulation ...
Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon