4403 search results - page 563 / 881 » Galois Theory of Algorithms |
219
click to vote
SODA
2010
ACM
16 years 5 months ago
2010
ACM
We consider a robust model proposed by Scarf, 1958, for stochastic optimization when only the marginal probabilities of (binary) random variables are given, and the correlation be...
202
click to vote
PADL
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rule...
216
click to vote
WWW
2010
ACM
16 years 2 months ago
2010
ACM
Geography and social relationships are inextricably intertwined; the people we interact with on a daily basis almost always live near us. As people spend more time online, data re...
216
click to vote
TACAS
2010
Springer
16 years 2 months ago
2010
Springer
Boolean satisfiability (SAT) and its extensions are becoming a core technology for the analysis of systems. The SAT-based approach divides into three steps: encoding, preprocessin...
233
click to vote
DAC
2009
ACM
16 years 2 months ago
2009
ACM
It is known that temperature gradients and thermal hotspots affect the reliability of microprocessors. Temperature is also an important constraint when maximizing the performance...