Sciweavers

1342 search results - page 9 / 269
» Shape reasoning and understanding
Sort
View
KR
2010
Springer
13 years 11 months ago
A Logical Understanding of Legal Interpretation
If compliance with a norm does not achieve its purpose, then its applicability must dynamically be restricted or expanded. Legal interpretation is a mechanism from law allowing no...
Guido Boella, Guido Governatori, Antonino Rotolo, ...
ICPR
2010
IEEE
13 years 4 months ago
Fundamental Geodesic Deformations in Spaces of Treelike Shapes
This paper presents a new geometric framework for analysis of planar treelike shapes for applications such as shape matching, recognition and morphology, using the geometry of the...
Aasa Feragen, François Lauze, Mads Nielsen
CANDC
2005
ACM
13 years 8 months ago
Freedom and constraint in the creative process in digital fine art: an AHRB invited workshop
The workshop will explore in depth the nature of freedom and constraint in the creative process in digital fine art from the perspective of embodied mind. The problem is crucial t...
John Haworth, Sue Gollifer, James Faure Walker, Pa...
ECCV
2010
Springer
13 years 4 months ago
Non-local Characterization of Scenery Images: Statistics, 3D Reasoning, and a Generative Model
Abstract. This work focuses on characterizing scenery images. We semantically divide the objects in natural landscape scenes into background and foreground and show that the shapes...
Tamar Avraham, Michael Lindenbaum
CORR
2008
Springer
102views Education» more  CORR 2008»
13 years 6 months ago
(Mechanical) Reasoning on Infinite Extensive Games
In order to better understand reasoning involved in analyzing infinite games in extensive form, we performed the experiments in proof assistant Coq that are reported here.
Pierre Lescanne