Sciweavers

3238 search results - page 227 / 648
» On the Computational Interpretation of Negation
Sort
View
CLUSTER
2007
IEEE
16 years 29 days ago
A Comparison of robustness metrics for scheduling DAGs on heterogeneous systems
— A schedule is said robust if it is able to absorb some degree of uncertainty in tasks duration while maintaining a stable solution. This intuitive notion of robustness has led ...
Louis-Claude Canon, Emmanuel Jeannot
ISVD
2007
IEEE
16 years 27 days ago
Voronoi Diagrams for Oriented Spheres
We consider finite sets of oriented spheres in Rk−1 and, by interpreting such spheres as points in Rk , study the Voronoi diagrams they induce for several variants of distance ...
Franz Aurenhammer, Johannes Wallner, Martin Petern...
CONTEXT
2007
Springer
16 years 24 days ago
Context and Design Agents
Informal notions of context often imply much more than that captured in many computational formalisms of it. The view presented in this paper, built on our understanding of designi...
John S. Gero, Gregory J. Smith
IWSEC
2007
Springer
16 years 23 days ago
Processing Multi-parameter Attacktrees with Estimated Parameter Values
Abstract. Authors extend the multi-parameter attacktree model to include inaccurate or estimated parameter values, which are modelled as probabilistic interval estimations. The pap...
Aivo Jürgenson, Jan Willemson
MFCS
2007
Springer
16 years 23 days ago
Reachability Problems in Quaternion Matrix and Rotation Semigroups
Abstract. We examine computational problems on quaternion matrix and rotation semigroups. It is shown that in the ultimate case of quaternion matrices, in which multiplication is s...
Paul Bell, Igor Potapov