Sciweavers

1002 search results - page 43 / 201
» Implementing Standard Reference Models for e-learning System...
Sort
View
FORMATS
2005
Springer
14 years 4 months ago
Diagonal Constraints in Timed Automata: Forward Analysis of Timed Systems
Timed automata (TA) are a widely used model for real-time systems. Several tools are dedicated to this model, and they mostly implement a forward analysis for checking reachability...
Patricia Bouyer, François Laroussinie, Pier...
ATAL
2008
Springer
14 years 23 days ago
Automatic Generation of Distributed Team Formation Algorithms from Organizational Models
Software systems are subject to ever increasing complexity and in need of efficient structuring. The concept of organization as an exand abstract real-world reference presents a pr...
Michael Köhler-Bußmeier, Matthias Weste...
GI
2007
Springer
14 years 5 months ago
Background Modeling Using Adaptive Cluster Density Estimation for Automatic Human Detection
: Detection is an inherent part of every advanced automatic tracking system. In this work we focus on automatic detection of humans by enhanced background subtraction. Background s...
Harish Bhaskar, Lyudmila Mihaylova, Simon Maskell
IJRR
2010
102views more  IJRR 2010»
13 years 5 months ago
Modeling and Calibration of Inertial and Vision Sensors
This paper is concerned with the problem of estimating the relative translation and orientation of an inertial measurement unit and a camera, which are rigidly connected. The key ...
Jeroen D. Hol, Thomas B. Schön, Fredrik Gusta...
SIGCSE
2009
ACM
144views Education» more  SIGCSE 2009»
14 years 11 months ago
A model academic ethics and integrity policy for computer science departments
For decades, US universities and colleges have had policies pertaining to the conduct of their students at the institutional level. These policies are referred to as Academic Inte...
Charles Riedesel, Eric D. Manley, Susan Poser, Jit...