1410 search results - page 276 / 282 » Proving theorems by reuse |
PC
2008
14 years 11 months ago
2008
In this paper, we assess the impact of heterogeneity on scheduling independent tasks on master-slave platforms. We assume a realistic one-port model where the master can communica...
92
Voted
IJCV
2007
14 years 11 months ago
2007
Abstract. Cast shadows are an informative cue to the shape of objects. They are particularly valuable for discovering object’s concavities which are not available from other cues...
109
click to vote
JACIII
2007
14 years 11 months ago
2007
We study the problem of approximating pseudoBoolean functions by linear pseudo-Boolean functions. Pseudo-Boolean functions generalize ordinary Boolean functions by allowing the fu...
JLP
2007
2007
Universality and semicomputability for nondeterministic programming languages over abstract algebras
14 years 11 months ago
tract Algebras Wei Jiang∗ , Yuan Wang† , and Jeffery Zucker‡ September 11, 2006 The Universal Function Theorem (UFT) originated in 1930s with the work of Alan Turing, who p...
142
click to vote
CORR
2007
Springer
14 years 11 months ago
2007
Springer
An instance of the maximum constraint satisfaction problem (Max CSP) is a nite collection of constraints on a set of variables, and the goal is to assign values to the variables ...