Sciweavers

2564 search results - page 282 / 513
» Witness sets of projections
Sort
View
ATVA
2010
Springer
154views Hardware» more  ATVA 2010»
15 years 7 months ago
Lattice-Valued Binary Decision Diagrams
Abstract. This work introduces a new data structure, called Lattice-Valued Binary Decision Diagrams (or LVBDD for short), for the compact representation and manipulation of functio...
Gilles Geeraerts, Gabriel Kalyon, Tristan Le Gall,...
ERCIMDL
2010
Springer
139views Education» more  ERCIMDL 2010»
15 years 7 months ago
User-Contributed Descriptive Metadata for Libraries and Cultural Institutions
: The Library of Congress and other cultural institutions are collecting highly informative user-contributed metadata as comments and notes expressing historical and factual inform...
Michael A. Zarro, Robert B. Allen
DAIS
2009
15 years 7 months ago
D-Praxis : A Peer-to-Peer Collaborative Model Editing Framework
Large-scale industrial systems involve nowadays hundreds of developers working on hundreds of models representing parts of the whole system specification. Unfortunately, few tool s...
Alix Mougenot, Xavier Blanc, Marie-Pierre Gervais
ICA
2010
Springer
15 years 7 months ago
Dictionary Learning for Sparse Representations: A Pareto Curve Root Finding Approach
Abstract. A new dictionary learning method for exact sparse representation is presented in this paper. As the dictionary learning methods often iteratively update the sparse coeffi...
Mehrdad Yaghoobi, Mike E. Davies
ICDE
2010
IEEE
180views Database» more  ICDE 2010»
15 years 6 months ago
Streaming data integration: Challenges and opportunities
— In this position paper, we motivate the need for streaming data integration in three main forms including across multiple streaming data sources, over multiple stream processin...
Nesime Tatbul