Sciweavers

453 search results - page 63 / 91
» From restrictive to prescriptive design
Sort
View
MODELLIERUNG
2004
14 years 11 months ago
Modeling Socio-Technical Processes in e-Commerce Scenarios
: We consider socio-technical processes, i.e. processes where machines as well as humans participate. Typical examples occur in sales processes in e-commerce. Three modeling tasks ...
Michael M. Richter, Armin Stahl
GRAPHICSINTERFACE
1998
14 years 11 months ago
Active Implicit Surface for Animation
This paper introduces a new model of deformable surfaces designed for animation, which we call active implicit surfaces. The underlying idea is to animate a potential field define...
Mathieu Desbrun, Marie-Paule Gascuel
WSC
1997
14 years 11 months ago
Automating the Metamodeling Process
Model abstraction using metamodeling has demonstrated the capability to facilitate software reuse, large scale model integration, verification, and validation. Once restricted to...
Don Caughlin
AAAI
1990
14 years 11 months ago
The Intelligent Database Interface: Integrating AI and Database Systems
The Intelligent Database Interface (IDI) is a cache-based interface that is designed to provide Artificial Intelligence systems with efficient access to one or more databases on o...
Donald P. McKay, Timothy W. Finin, Anthony B. O'Ha...
ENTCS
2008
102views more  ENTCS 2008»
14 years 9 months ago
Soft Linear Logic and Polynomial Complexity Classes
We describe some results inspired to Lafont's Soft Linear Logic (SLL) which is a subsystem of second-order linear logic with restricted rules for exponentials, correct and co...
Marco Gaboardi, Jean-Yves Marion, Simona Ronchi De...