Sciweavers

1829 search results - page 67 / 366
» Towards Validation of Requirements Models
Sort
View
ICCV
2003
IEEE
16 years 1 months ago
Background Modeling and Subtraction of Dynamic Scenes
Background modeling and subtraction is a core component in motion analysis. The central idea behind such module is to create a probabilistic representation of the static scene tha...
Antoine Monnet, Anurag Mittal, Nikos Paragios, Vis...
ISTA
2004
15 years 1 months ago
Enterprise Architecture Modeling using Agent Paradigm
: New approaches to modeling and design of enterprise systems must enable enterprises to offer dramatically improved capabilities including more effective enterprise architectures,...
Olfa Lamouchi, Amar Ramdane-Cherif, Nicole L&eacut...
RTSS
2009
IEEE
15 years 6 months ago
Robustness of Model-Based Simulations
—This paper proposes a framework for determining the correctness and robustness of simulations of hybrid systems. The focus is on simulations generated from model-based design en...
Georgios E. Fainekos, Sriram Sankaranarayanan, Fra...
AAMAS
2012
Springer
13 years 7 months ago
A formal model of emotions for an empathic rational dialog agent
Recent research has shown that virtual agents expressing empathic emotions toward users have the potentiality to enhance human-machine interaction. To provide empathic capabilitie...
Magalie Ochs, David Sadek, Catherine Pelachaud
MICCAI
2009
Springer
16 years 1 months ago
Toward Video-Based Navigation for Endoscopic Endonasal Skull Base Surgery
Abstract. Endoscopic endonasal skull base surgery (ESBS) requires high accuracy to ensure safe navigation of the critical anatomy at the anterior skull base. Current navigation sys...
Daniel Mirota, Hanzi Wang, Russell H. Taylor, M...