1502 search results - page 150 / 301 » Computational Realizations of Living Systems |
216
click to vote
FORTE
1994
15 years 7 months ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
171
click to vote
ICCV
2009
IEEE
16 years 11 months ago
2009
IEEE
We present a novel keyframe selection and recognition
method for robust markerless real-time camera tracking.
Our system contains an ofine module to select features
from a grou...
188
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
This paper proposes a vision-based augmented reality system with correct representation of attached and cast shadows. To realize a seamless augmented reality system, we need to re...
156
click to vote
ICPR
2002
IEEE
16 years 7 months ago
2002
IEEE
In this paper, a novel personalized feature combination scheme is proposed for face verification. ANFIS (Adaptive Neuro-Fuzzy Inference System) and SVM (Support Vector Machine) ar...
158
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
In this paper we propose a method for generating reduced models for a class of nonlinear dynamical systems, based on truncated balanced realization (TBR) algorithm and a recently ...