Sciweavers

293 search results - page 24 / 59
» Computing Stable Models by Using the ATMS
Sort
View
VMV
2001
131views Visualization» more  VMV 2001»
13 years 10 months ago
Shape Model and Threshold Extraction via Shape Gradients
Shape information is utilized by numerous applications in computer vision, scientific visualization and computer graphics. This paper presents a novel algorithm for exploring and ...
Roger C. Tam, Alain Fournier
SI3D
2010
ACM
14 years 3 months ago
Interactive fluid-particle simulation using translating Eulerian grids
We describe an interactive system featuring fluid-driven animation that responds to moving objects. Our system includes a GPUaccelerated Eulerian fluid solver that is suited for...
Jonathan M. Cohen, Sarah Tariq, Simon Green
IJCAI
1989
13 years 9 months ago
On Cooperation in a Multi-Entity Model
The problem of modeling a variety of domains within the framework of one general scheme is of central importance in AI. This paper presents the MultiEntity model for multi-agent p...
Moshe Tennenholtz, Yoram Moses
ICSEA
2009
IEEE
14 years 3 months ago
Rule-Based Service Modeling
— In the context of service-oriented computing, services provide the capabilities necessary to support the business, especially its processes. Within the service modeling process...
Michael Gebhart, Sebastian Abeck
FORMATS
2007
Springer
14 years 16 days ago
CSL Model Checking Algorithms for Infinite-State Structured Markov Chains
Jackson queueing networks (JQNs) are a very general class of queueing networks that find their application in a variety of settings. The state space of the continuous-time Markov c...
Anne Remke, Boudewijn R. Haverkort