2137 search results - page 131 / 428 » Proving Abstract Non-interference |
113
click to vote
COLT
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. In this paper we unify divergence minimization and statistical inference by means of convex duality. In the process of doing so, we prove that the dual of approximate max...
104
click to vote
DGCI
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Existing theories on shape digitization impose strong constraints on feasible shapes and require error-free measurements. We use Delaunay triangulation and -shapes to pro...
140
click to vote
EDUTAINMENT
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. This paper presents a strategy of dynamic user modeling for sketchbased user interface. A user model is defined as an incremental decision tree for a specific user. A dra...
135
click to vote
EUROGP
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Theoretical models of Turing complete linear genetic programming (GP) programs suggest the fraction of halting programs is vanishingly small. Convergence results proved f...
123
Voted
FMCAD
2006
Springer
15 years 6 months ago
2006
Springer
Recent years have seen a proliferation of 3-valued or capturing abstractions of systems, since these enable verifying both universal and existential properties. Reasoning about suc...