Sciweavers

293 search results - page 24 / 59
» Computing Stable Models by Using the ATMS
Sort
View
VMV
2001
131views Visualization» more  VMV 2001»
15 years 3 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
15 years 8 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
15 years 3 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
15 years 8 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
15 years 5 months 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