Sciweavers

1018 search results - page 182 / 204
» Property Testing in Computational Geometry
Sort
View
ETRA
2008
ACM
120views Biometrics» more  ETRA 2008»
15 years 4 months ago
Eye movement prediction by Kalman filter with integrated linear horizontal oculomotor plant mechanical model
The goal of this paper is to predict future horizontal eye movement trajectories within a specified time interval. To achieve this goal a linear horizontal oculomotor plant mechan...
Oleg Komogortsev, Javed I. Khan
ICWS
2007
IEEE
15 years 4 months ago
WS-CDL+: An Extended WS-CDL Execution Engine for Web Service Collaboration
Web services are becoming the prominent paradigm for distributing, computing, and electronic business, while there is an increasing surge to provide online Businessto-Business col...
Zuling Kang, Hongbing Wang, Patrick C. K. Hung
FTCS
1998
114views more  FTCS 1998»
15 years 4 months ago
Verification of a Safety-Critical Railway Interlocking System with Real-Time Constraints
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
Vicky Hartonas-Garmhausen, Sérgio Vale Agui...
BILDMED
2009
173views Algorithms» more  BILDMED 2009»
15 years 4 months ago
Interactive Boundary Detection for Automatic Definition of 2D Opacity Transfer Function
In computer assisted diagnostics nowadays, high-value 3-D visualization intake a supporting role to the traditional 2-D slice wise visualization. 3-D visualization may create intui...
Martin Rauberger, Heinrich M. Overhoff
AUTOMATICA
2006
106views more  AUTOMATICA 2006»
15 years 2 months ago
Decentralized receding horizon control for large scale dynamically decoupled systems
A detailed study on the design of decentralized Receding Horizon Control (RHC) schemes for decoupled systems is presented. An optimal control problem is formulated for a set of de...
Tamás Keviczky, Francesco Borrelli, Gary J....