Sciweavers

14331 search results - page 250 / 2867
» On the modeling and analysis of obligations
Sort
View
GIS
2007
ACM
15 years 8 months ago
Near-real time motion analysis for APLIS 2007: a systems modeling perspective
Mani Thomas, Chandra Kambhamettu, Cathleen A. Geig...
ECAI
2008
Springer
15 years 8 months ago
An Analysis of Bayesian Network Model-Approximation Techniques
Abstract. Two approaches have been used to perform approximate inference in Bayesian networks for which exact inference is infeasible: employing an approximation algorithm, or appr...
Adamo Santana, Gregory M. Provan
CRISIS
2008
15 years 8 months ago
Formal procedural security modeling and analysis
We are involved in a project related to the evaluation
Komminist Weldemariam, Adolfo Villafiorita
BIOSTEC
2008
107views Healthcare» more  BIOSTEC 2008»
15 years 8 months ago
Formal Analysis of Intelligent Agents for Model-Based Medicine Usage Management
Mark Hoogendoorn, Michel C. A. Klein, Zulfiqar A. ...
CAINE
2007
15 years 8 months ago
Interactive Thin Shells - A Model Interface for the Analysis of Physically-based Animation
Realism has always been a goal in computer graphics. However, the algorithms involved in mimicking ical world are often complex, abstract, and sensitive to changes in experimental...
James Skorupski, Zoë J. Wood, Alex Pang