Sciweavers

1022 search results - page 80 / 205
» Stable models and circumscription
Sort
View
TOH
2008
98views more  TOH 2008»
13 years 10 months ago
Six-DoF Haptic Rendering of Contact Between Geometrically Complex Reduced Deformable Models
Real-time evaluation of distributed contact forces between rigid or deformable 3D objects is a key ingredient of 6-DoF force-feedback rendering. Unfortunately, at very high tempora...
Jernej Barbic, Doug L. James
CTCS
1989
Springer
14 years 2 months ago
Quantitative Domains, Groupoids and Linear Logic
We introduce the notion of a candidate for “multiple valued universal constructions” and define stable functors (which generalise functors with left adjoints) in terms of fac...
Paul Taylor 0002
WSC
2007
14 years 14 days ago
A toolbox for simulation-based optimization of supply chains
In this paper we present a general framework for simulating and optimizing the operational decisions in a supply chain network. We developed a supply chain network library for the...
Christian Almeder, Margaretha Preusser
ICAI
2009
13 years 8 months ago
Intelligent and Adaptive Animat Resource Trading
Trading of resources is an important sociological behaviour that is believed to be indicative of intelligent life forms, but which is non-trivial to model successfully. We have in...
Chris Scogings, Kenneth A. Hawick
SIGCOMM
1991
ACM
14 years 1 months ago
A Control-Theoretic Approach to Flow Control
This paper presents a control-theoretic approach to reactive flow control in networks that do not reserve bandwidth. We assume a round-robin-like queue service discipline in the o...
Srinivasan Keshav