1381 search results - page 78 / 277 » Computational Complexity of Constraint Satisfaction |
131
click to vote
DEBS
2008
ACM
15 years 5 months ago
2008
ACM
We propose a sensornet programming model based on declarative spatio-temporal constraints on events only, not sensors. Where previous approaches conflate events and sensors becaus...
153
click to vote
CODES
2006
IEEE
15 years 6 months ago
2006
IEEE
A key step in the design of multi-rate real-time systems is the determination of buffer capacities. In our multi-processor system, we apply back-pressure as caused by bounded buff...
117
click to vote
AMAI
2004
Springer
15 years 9 months ago
2004
Springer
In reasoning tasks involving logical formulas, high expressiveness is desirable, although it often leads to high computational complexity. We study a simple measure of expressiven...
106
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
In this work, our objective is to heuristically discover a simplified form of functional dependencies between variables called weak dependencies. Once discovered, these relations...
143
Voted
BMVC
2002
15 years 6 months ago
2002
A qualitative image description grammar with automatic image fitting and object modelling algorithms is presented. The grammar is based on assigning a square sub-region of an imag...