Sciweavers

467 search results - page 5 / 94
» Designer Definites in Logical Form
Sort
View
ACL
2001
13 years 9 months ago
Extending Lambek Grammars: a Logical Account of Minimalist Grammars
We provide a logical definition of Minimalist grammars, that are Stabler's formalization of Chomsky's minimalist program. Our logical definition leads to a neat relation...
Alain Lecomte, Christian Retoré
TROB
2010
142views more  TROB 2010»
13 years 2 months ago
Extension of the Form-Closure Property to Underactuated Hands
The property of form-closure of a grasp, as generally defined in the literature, is based on the assumption that contact points between the hand and the object are fixed in space. ...
Sébastien Krut, Vincent Begoc, Etienne Domb...
CGF
1999
130views more  CGF 1999»
13 years 7 months ago
A Free Form Feature Taxonomy
In this paper the notion of free form feature for aesthetic design is presented. The design of industrial products constituted by free form surfaces is done by using CAD systems r...
M. Fontana, Franca Giannini, M. Meirana
EKAW
2000
Springer
13 years 11 months ago
Conflict Resolution in the Collaborative Design of Terminological Knowledge Bases
Designing a terminological knowledge base consists in collecting terms and associating them to their definition. Our objective is to define a process model to support this design ...
Gilles Falquet, Claire-Lise Mottaz Jiang
ENTCS
2002
71views more  ENTCS 2002»
13 years 7 months ago
A Simplified Account of the Metatheory of Linear LF
We present a variant of the linear logical framework LLF that avoids the restriction l-typed terms be in pre-canonical form and adds -abstraction at the level of families. We aban...
Joseph Vanderwaart, Karl Crary