4117 search results - page 48 / 824 » On the Satisfiability of Complex Constraints |
JCO
2000
14 years 11 months ago
2000
We show that the problem of finding a perfect matching satisfying a single equality constraint with a 0
DAC
2007
ACM
16 years 25 days 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...
SAC
2010
ACM
15 years 4 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...
WEBI
2001
Springer
15 years 4 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...
112
click to vote
UIST
1997
ACM
15 years 3 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 ...