A new Particle Tracking Velocimetry
motion analysis, motion estimation, optical flow, partial differential equation
Guest Editorial: Special Issue on Computer Vision Motion Analysis
motion analysis, motion estimation, optical flow, partial differential equation
Guest Editorial: Computer vision motion analysis
motion analysis, motion estimation, optical flow, partial differential equation
Tracking and Synthesizing Facial Motions with Dynamic Contours
motion analysis, motion estimation, optical flow, partial differential equation
Verication of External Specications of Reactive Systems
Temporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines
An Interval Logic for RealTime System Specication
Temporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines
Expressing and Organizing Real Time Specification Patterns via Temporal Logics
Temporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines
Expressing and Organizing Specification Patterns with TILCO-X
Temporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines
Comments on Comments on “An Interval Logic for Real-Time System Specification”
Temporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines
Reengineering Analysis of Object-Oriented Systems via Duplication Analysis
metrics, quality assessment, effort estimation, data analytic, prediction models, fault proneness