Sciweavers

1137 search results - page 10 / 228
» A framework to model real-time databases
Sort
View
CAV
2012
Springer
251views Hardware» more  CAV 2012»
12 years 6 days ago
A Model Checker for Hierarchical Probabilistic Real-Time Systems
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
Songzheng Song, Jun Sun 0001, Yang Liu 0003, Jin S...
ISORC
2008
IEEE
14 years 4 months ago
Compositional Feasibility Analysis of Conditional Real-Time Task Models
Conditional real-time task models, which are generalizations of periodic, sporadic, and multi-frame tasks, represent real world applications more accurately. These models can be c...
Madhukar Anand, Arvind Easwaran, Sebastian Fischme...
ICCV
2007
IEEE
14 years 4 months ago
Real-Time Automatic Kinematic Model Building for Optical Motion Capture Using a Markov Random Field
Abstract. We present a completely autonomous algorithm for the real-time creation of a moving subject’s kinematic model from optical motion capture data and with no a priori info...
Stjepan Rajko, Gang Qian
ICMCS
2006
IEEE
186views Multimedia» more  ICMCS 2006»
14 years 3 months ago
GPU Accelerated Inverse Photon Mapping for Real-Time Surface Reflectance Modeling
This paper investigates the problem of object surface reflectance modeling, which is sometimes referred to as inverse reflectometry, for photorealistic rendering and effective m...
Takashi Machida, Naokazu Yokoya, Haruo Takemura
IPPS
2002
IEEE
14 years 2 months ago
Real-Time Communication for Distributed Vision Processing Based on Imprecise Computation Model
In this paper we propose an efficient real-time communication mechanism for distributed vision processing. One of the biggest problems of distributed vision processing, as is the ...
Hiromasa Yoshimoto, Daisaku Arita, Rin-ichiro Tani...