Sciweavers

11740 search results - page 247 / 2348
» More Problems in Rewriting
Sort
View
VLDB
1990
ACM
111views Database» more  VLDB 1990»
15 years 10 months ago
On Restructuring Nested Relations in Partitioned Normal Form
Relations in partitioned normal form are an important subclass of nested relations. This paper is concerned with the problem of restructuring relations in partitioned normal form ...
Guy Hulin
ISMVL
2000
IEEE
120views Hardware» more  ISMVL 2000»
15 years 11 months ago
Mod-p Decision Diagrams: A Data Structure for Multiple-Valued Functions
Multiple-valued decision diagrams (MDDs) give a way of approaching problems by using symbolic variables which are often more naturally associated with the problem statement than t...
Harald Sack, Elena Dubrova, Christoph Meinel
SOCO
2007
Springer
16 years 20 days ago
Generic Feature-Based Software Composition
Abstract. Bridging problem domain and solution in product line engineering is a time-consuming and error-prone process. Since both domains are structured differently (features vs....
Tijs van der Storm
DEXAW
1999
IEEE
128views Database» more  DEXAW 1999»
15 years 11 months ago
Conflict Resolution and Reconciliation in Disconnected Databases
As mobile computing devices become more and more popular, mobile databases have started gaining popularity. An important feature of these database systems is their ability to allo...
Shirish Hemant Phatak, B. R. Badrinath
STOC
2002
ACM
91views Algorithms» more  STOC 2002»
16 years 6 months ago
New results on monotone dualization and generating hypergraph transversals
This paper considers the problem of dualizing a monotone CNF (equivalently, computing all minimal transversals of a hypergraph), whose associated decision problem is a prominent o...
Thomas Eiter, Georg Gottlob, Kazuhisa Makino