From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: *** X-Spam-Status: No, score=3.2 required=5.0 tests=DNS_FROM_SECURITYSAGE, HTML_MESSAGE,SUBJ_ALL_CAPS autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id A2527BB84 for ; Thu, 30 Oct 2008 17:07:41 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmEBAEh4CUlHSjh9mWdsb2JhbACCSy5ehkFxBoIJhnMBAQEBAQgLCgcRHLgxg1E X-IronPort-AV: E=Sophos;i="4.33,516,1220220000"; d="scan'208,217";a="30939019" Received: from hrndva-omtalb.mail.rr.com ([71.74.56.125]) by mail4-smtp-sop.national.inria.fr with ESMTP; 30 Oct 2008 17:07:40 +0100 Received: from LEYTON ([69.200.246.200]) by hrndva-omta04.mail.rr.com with SMTP id <20081030160737.UODO20152.hrndva-omta04.mail.rr.com@LEYTON> for ; Thu, 30 Oct 2008 16:07:37 +0000 Message-ID: <001801c93aa9$a12c0330$c8f6c845@LEYTON> From: "David Weiss" To: Subject: GENERATIVE THEORY OF SHAPE Date: Thu, 30 Oct 2008 12:07:37 -0400 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_0015_01C93A88.19B586E0" X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 6.00.2900.3138 X-MIMEOLE: Produced By Microsoft MimeOLE V6.00.2900.3350 X-Spam: no; 0.00; generative:01 generative:01 formalizing:01 alignment:01 theorems:01 formalizing:01 alignment:01 theorems:01 machining:98 conservation:98 phenomena:98 phenomena:98 machining:98 conservation:98 springer:02 This is a multi-part message in MIME format. ------=_NextPart_000_0015_01C93A88.19B586E0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Members of the list will be interested in the following important book = in Springer. A Generative Theory of Shape Michael Leyton Springer-Verlag =20 The purpose of the book is to develop a generative theory that has two = properties regarded as fundamental to intelligence -=20 maximizing reusability of structure and maximizing recoverability of the = generative operations. These two properties are=20 particularly important in the representation of complex organization - = which is the main concern of the book.=20 The primary goal of the theory is the conversion of complexity into = understandability. For this purpose, a mathematical theory=20 is presented of how understandability is created in a structure. This is = achieved by developing a group-theoretic approach to=20 formalizing reusability and recoverability. To handle highly complex = structure, a new class of groups is invented, called unfolding groups.=20 These unfold structure from a maximally collapsed version of that = structure. A principal aspect of the theory is that it develops a=20 new algebraic formalization of major object-oriented concepts such as = inheritance. The consequence that the book establishes=20 a representational language for complex organizational structure, that = is interoperable by virtue of the principles on which the theory=20 is based: reusability and recoverability.=20 =20 The book gives extensive applications of the theory to CAD/CAM, human = and machine vision, robotics, software engineering, and physics.=20 For example, the theory is used to give new and detailed insights into = the main stages of mechanical CAD/CAM: part-design, assembly a nd machining. And within part-design, an extensive analysis is given of = sketching, alignment, dimensioning, resolution, editing, sweeping,=20 feature-addition, and intent-management. In robotics, several levels of = analysis are developed for manipulator structure and kinematics. =20 In software, a new theory is given of the principal factors such as text = and class structure, object creation cloning and modification, as=20 well as inheritance and hierarchy prediction. In physics, a new theory = is given of the conservation laws, and motion decomposition=20 theorems in classical and quantum mechanics. In perception, extensive = theories are developed for Gestalt grouping criteria, orientation=20 and form, the prototype phenomena, and the main Gestalt motion phenomena = (induced motion, separation of systems, the Johannson=20 relative/absolute motion effects. =20 =20 =20 Springer-Verlag allows the book to be viewed on-line at institutions = that have a Springer subscription:=20 On-line link: http://www.rci.rutgers.edu/~mleyton/homepage.htm ------=_NextPart_000_0015_01C93A88.19B586E0 Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable
Members of the list will be interested = in the=20 following important book in Springer.
 
 

A=20 Generative Theory of Shape

Michael Leyton

Springer-Verlag

 

The purpose of the book is to develop a = generative=20 theory that has two properties regarded as fundamental to intelligence = =96=20

maximizing reusability of structure and = maximizing=20 recoverability of the generative operations. These two properties are=20

particularly important in the representation = of complex=20 organization =96 which is the main concern of the book.

The primary goal of the theory is the = conversion of=20 complexity into understandability. For this purpose, a mathematical = theory=20

is presented of how understandability is = created in a=20 structure. This is achieved by developing a group-theoretic approach to=20

formalizing reusability and recoverability. To = handle=20 highly complex structure, a new class of groups is invented, called = unfolding=20 groups.

These unfold structure from a maximally = collapsed=20 version of that structure. A principal aspect of the theory is that it = develops=20 a

new algebraic formalization of major = object-oriented=20 concepts such as inheritance. The consequence that the book establishes=20

a=20 representational language for complex organizational structure, that is=20 interoperable by virtue of the principles on which the theory =

is based: reusability and recoverability.=20

 

The book gives extensive applications of the = theory to=20 CAD/CAM, human and machine vision, robotics,  software engineering, and = physics.=20

For example, the theory is used to give new = and detailed=20 insights into the main stages of mechanical CAD/CAM: part-design, = assembly=20 a

nd machining. And within part-design, an = extensive=20 analysis is given of sketching, alignment, dimensioning, resolution, = editing,=20 sweeping,

feature-addition, and intent-management. In = robotics,=20 several levels of analysis are developed for manipulator structure and=20 kinematics. 

In = software, a=20 new theory is given of the principal factors such as text and class = structure,=20 object creation cloning and modification, as

well as inheritance and hierarchy prediction. = In=20 physics, a new theory is given of the conservation laws, and motion=20 decomposition

theorems in classical and quantum mechanics. = In=20 perception, extensive theories are developed for Gestalt grouping = criteria,=20 orientation

and form, the prototype phenomena, and the = main Gestalt=20 motion phenomena (induced motion, separation of systems, the Johannson=20

relative/absolute motion effects.  

 

 

Springer-Verlag allows the book to be viewed = on-line at=20 institutions that have a Springer subscription:

On-line link: http://www.rci.= rutgers.edu/~mleyton/homepage.htm

 

------=_NextPart_000_0015_01C93A88.19B586E0--