Sciweavers

5639 search results - page 480 / 1128
» Timed Abstract Non-interference
Sort
View
141
Voted
ISI
2006
Springer
15 years 4 months ago
Motion-Alert: Automatic Anomaly Detection in Massive Moving Objects
Abstract. With recent advances in sensory and mobile computing technology, enormous amounts of data about moving objects are being collected. With such data, it becomes possible to...
Xiaolei Li, Jiawei Han, Sangkyum Kim
JIRS
2008
100views more  JIRS 2008»
15 years 4 months ago
Model-based Predictive Control of Hybrid Systems: A Probabilistic Neural-network Approach to Real-time Control
Abstract This paper proposes an approach for reducing the computational complexity of a model-predictive-control strategy for discrete-time hybrid systems with discrete inputs only...
Bostjan Potocnik, Gasper Music, Igor Skrjanc, Boru...
148
Voted
EJIS
2007
88views more  EJIS 2007»
15 years 4 months ago
A programme management approach for ensuring curriculum coherence in IS (higher) education
This paper examines IS higher education, concentrating on issues of ‘coherence’ in IS curricula. While curriculum coherence can be jeopardized by poor curriculum design, misal...
Tally Hatzakis, Mark Lycett, Alan Serrano
PAAPP
2006
141views more  PAAPP 2006»
15 years 4 months ago
Algorithmic optimizations of a conjugate gradient solver on shared memory architectures
OpenMP is an architecture-independent language for programming in the shared memory model. OpenMP is designed to be simple and in terms of programming abstractions. Unfortunately,...
Henrik Löf, Jarmo Rantakokko
148
Voted
IJVR
2007
128views more  IJVR 2007»
15 years 4 months ago
Occlusion Management in Immersive and Desktop 3D Virtual Environments: Theory and Evaluation
—We present an empirical usability experiment studying the relative strengths and weaknesses of three different occlusion management techniques for discovering and accessing obje...
Niklas Elmqvist, Mihail Eduard Tudoreanu