Sciweavers

1524 search results - page 90 / 305
» The First Real Operating System for Reconfigurable Computers
Sort
View
ECAI
2006
Springer
14 years 1 months ago
CTL Model Update: Semantics, Computations and Implementation
Minimal change is a fundamental principle for modeling system dynamics. In this paper, we study the issue of minimal change for Computational Tree Logic (CTL) model update. We firs...
Yulin Ding, Yan Zhang
ISVC
2007
Springer
14 years 3 months ago
Real-Time 3D Face Tracking with Mutual Information and Active Contours
Abstract. We present a markerless real-time, model-based 3D face tracking methodology. The system combines two robust and complimentary optimization-based strategies, namely active...
Giorgio Panin, Alois Knoll
PRESENCE
2002
185views more  PRESENCE 2002»
13 years 9 months ago
EyeTap Devices for Augmented, Deliberately Diminished, or Otherwise Altered Visual Perception of Rigid Planar Patches of Real-Wo
Diminished reality is as important as augmented reality, and both are possible with a device called the Reality Mediator. Over the past two decades, we have designed, built, worn,...
Steve Mann, James Fung
CCGRID
2008
IEEE
14 years 3 months ago
Modeling "Just-in-Time" Communication in Distributed Real-Time Multimedia Applications
—The research area of Multimedia Content Analysis (MMCA) considers all aspects of the automated extraction of new knowledge from large multimedia data streams and archives. In re...
R. Yang, Robert D. van der Mei, D. Roubos, Frank J...
JSCIC
2010
142views more  JSCIC 2010»
13 years 4 months ago
Recent Developments in the Pure Streamfunction Formulation of the Navier-Stokes System
In this paper we review fourth-order approximations of the biharmonic operator in one, two and three dimensions. In addition, we describe recent developments on second and fourth o...
Dalia Fishelov, Matania Ben-Artzi, Jean-Pierre Cro...