4117 search results - page 48 / 824 » On the Satisfiability of Complex Constraints |
137
click to vote
JCO
2000
15 years 6 months ago
2000
We show that the problem of finding a perfect matching satisfying a single equality constraint with a 0
158
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
A key step in the design of cyclo-static real-time systems is the determination of buffer capacities. In our multi-processor system, we apply back-pressure, which means that tasks...
160
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
We consider the problem of anomaly detection in multiple co-evolving data streams. In this paper, we introduce FRAHST (Fast Rank-Adaptive row-Householder Subspace Tracking). It au...
153
click to vote
WEBI
2001
Springer
15 years 10 months ago
2001
Springer
In the proposed data model for XML databases, an XML element is directly represented as a ground (variable-free) XML expression—a generalization of an XML element by incorporatio...
179
click to vote
UIST
1997
ACM
15 years 9 months ago
1997
ACM
We propose interactive beautification, a technique for rapid geometric design, and introduce the technique and its algorithm with a prototype system Pegasus. The motivation is to ...