2196 search results - page 15 / 440 » Practical Reasoning Using Values |
WICSA
2008
13 years 9 months ago
2008
During the last decades software architecture has become increasingly important for companies creating competitive product structures. Recently more and more attention has also be...
ICDM
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract--Randomization is a general technique for evaluating the significance of data analysis results. In randomizationbased significance testing, a result is considered to be in...
LPNMR
2001
Springer
13 years 12 months ago
2001
Springer
In this paper, we continue to explore many-valued disjunctive logic programs with probabilistic semantics. In particular, we newly introduce the least model state semantics for suc...
POPL
2004
ACM
14 years 7 months ago
2004
ACM
We present a polynomial time randomized algorithm for global value numbering. Our algorithm is complete when conditionals are treated as non-deterministic and all operators are tr...
VSTTE
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Many well-established concepts of object-oriented programming work for individual objects, but do not support object structures. The development of a verifying compiler r...