Sciweavers

4767 search results - page 356 / 954
» Structures for Abstract Rewriting
Sort
View
ECSQARU
2003
Springer
15 years 12 months ago
Computational-Workload Based Binarization and Partition of Qualitative Markov Trees for Belief Combination
Abstract. Binary join trees have been a popular structure to compute the impact of multiple belief functions initially assigned to nodes of trees or networks. Shenoy has proposed t...
Weiru Liu, Xin Hong, Kenneth Adamson
ICDT
2003
ACM
127views Database» more  ICDT 2003»
15 years 12 months ago
Incremental Validation of XML Documents
We investigate the incremental validation of XML documents with respect to DTDs and XML Schemas, under updates consisting of element tag renamings, insertions and deletions. DTDs ...
Yannis Papakonstantinou, Victor Vianu
CDC
2009
IEEE
149views Control Systems» more  CDC 2009»
15 years 11 months ago
Solving large-scale linear circuit problems via convex optimization
Abstract— A broad class of problems in circuits, electromagnetics, and optics can be expressed as finding some parameters of a linear system with a specific type. This paper is...
Javad Lavaei, Aydin Babakhani, Ali Hajimiri, John ...
BTW
2001
Springer
117views Database» more  BTW 2001»
15 years 11 months ago
XMach-1: A Benchmark for XML Data Management
Abstract. We propose a scaleable multi-user benchmark called XMach-1 (XML Data Management benchmark) for evaluating the performance of XML data management systems. It is based on a...
Timo Böhme, Erhard Rahm
ISMIR
2001
Springer
196views Music» more  ISMIR 2001»
15 years 11 months ago
MUSART: Music Retrieval Via Aural Queries
MUSART is a research project developing and studying new techniques for music information retrieval. The MUSART architecture uses a variety of representations to support multiple ...
William P. Birmingham