Sciweavers

8928 search results - page 480 / 1786
» Modeling Current Events
Sort
View
COMPSAC
2007
IEEE
15 years 10 months ago
Unified Property Specification for Hardware/Software Co-Verification
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...
Fei Xie, Huaiyu Liu
CAISE
2006
Springer
15 years 10 months ago
Using Process Mining to Analyze and Improve Process Flexibility
Abstract. Contemporary information systems struggle with the requirement to provide flexibility and process support while still enforcing some degree of control. Workflow managemen...
Wil M. P. van der Aalst, Christian W. Günther...
CRV
2005
IEEE
272views Robotics» more  CRV 2005»
15 years 8 months ago
Real-Time Video Surveillance with Self-Organizing Maps
In this paper, we present an approach for video surveillance involving (a) moving object detection, (b) tracking and (c) normal/abnormal event recognition. The detection step uses...
Mohamed Dahmane, Jean Meunier
ICVGIP
2008
15 years 7 months ago
Visibility Cuts: A System for Rendering Dynamic Virtual Environments
In recent years, the subject of occlusion culling of large 3D environments has received substantial contribution. However the major amount of research into the area has focussed o...
Soumyajit Deb, Ankit Gupta
155
Voted
FLAIRS
2006
15 years 7 months ago
Predicting Learners' Emotional Response in Intelligent Distance Learning Systems
Different research studies have proved that emotions meet a pivotal role in cognitive processes and in particular the studies made by Damasio who argues that human-beings without ...
Soumaya Chaffar, Claude Frasson