3053 search results - page 239 / 611 » Structured Objects: Modeling and Reasoning |
143
click to vote
CADE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. While many higher-order interactive theorem provers include a choice operator, higher-order automated theorem provers currently do not. As a step towards supporting autom...
133
click to vote
WSC
2000
15 years 5 months ago
2000
Simulation professionals need to see themselves first as systems analysts, i.e., problem solvers, rather than just simulation users. As the networked digital economy develops, sys...
151
click to vote
GANDC
2011
14 years 3 months ago
2011
Copulas have attracted much attention in spatial statistics over the past few years. They are used as a flexible alternative to traditional methods for nonGaussian spatial modelin...
170
click to vote
TOG
2012
13 years 6 months ago
2012
We present an approach to high-level shape editing that adapts the structure of the shape while maintaining its global characteristics. Our main contribution is a new algebraic mo...
129
click to vote
ECBS
2003
IEEE
15 years 9 months ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...