Sciweavers

1263 search results - page 112 / 253
» Packaging Mathematical Structures
Sort
View
FROCOS
2007
Springer
15 years 9 months ago
Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions
Abstract. We present an overview of results on hierarchical and modular reasoning in complex theories. We show that for a special type of extensions of a base theory, which we call...
Viorica Sofronie-Stokkermans
ECCV
2004
Springer
15 years 8 months ago
A Fourier Theory for Cast Shadows
—Cast shadows can be significant in many computer vision applications, such as lighting-insensitive recognition and surface reconstruction. Nevertheless, most algorithms neglect ...
Ravi Ramamoorthi, Melissa L. Koudelka, Peter N. Be...
SSPR
2004
Springer
15 years 8 months ago
On Extending Symmetry Sets for 2D Shapes
Many attempts have been made to represent families of 2D shapes in a simpler way. These approaches lead to so-called structures as the Symmetry Set (SS) and a subset of it, the Med...
Arjan Kuijper, Ole Fogh Olsen
GECCO
2008
Springer
120views Optimization» more  GECCO 2008»
15 years 4 months ago
Genetic programming with polymorphic types and higher-order functions
This article introduces our new approach to program representation for genetic programming (GP). We replace the usual s-expression representation scheme by a strongly-typed ion-ba...
Franck Binard, Amy P. Felty
TOCL
2012
235views Formal Methods» more  TOCL 2012»
13 years 5 months ago
Topological and Simplicial Models of Identity Types
racting these leads us to introduce the notion of a path object category. This is a relatively simple axiomatic framework, which is nonetheless sufficiently strong to allow the con...
Benno van den Berg, Richard Garner