Sciweavers

Share
CVPR
2012
IEEE
6 years 7 months ago
Decentralized particle filter for joint individual-group tracking
In this paper, we address the task of tracking groups of people in surveillance scenarios. This is a major challenge in computer vision, since groups are structured entities, subj...
Loris Bazzani, Marco Cristani, Vittorio Murino
ICASSP
2011
IEEE
7 years 9 months ago
Learning and inference algorithms for partially observed structured switching vector autoregressive models
We present learning and inference algorithms for a versatile class of partially observed vector autoregressive (VAR) models for multivariate time-series data. VAR models can captu...
Balakrishnan Varadarajan, Sanjeev Khudanpur
TSMC
2010
7 years 12 months ago
State-Feedback Control of Fuzzy Discrete-Event Systems
In a 2002 paper, we combined fuzzy logic with discrete-event systems (DESs) and established an automaton model of fuzzy DESs (FDESs). The model can effectively represent determinis...
Feng Lin, Hao Ying
SIAMADS
2010
83views more  SIAMADS 2010»
8 years 5 hour ago
On the State Space Geometry of the Kuramoto-Sivashinsky Flow in a Periodic Domain
Abstract. The continuous and discrete symmetries of the Kuramoto
Predrag Cvitanovic, Ruslan L. Davidchack, Evangelo...
IJRR
2011
218views more  IJRR 2011»
8 years 6 days ago
Motion planning under uncertainty for robotic tasks with long time horizons
Abstract Partially observable Markov decision processes (POMDPs) are a principled mathematical framework for planning under uncertainty, a crucial capability for reliable operation...
Hanna Kurniawati, Yanzhu Du, David Hsu, Wee Sun Le...
AUTOMATICA
2011
8 years 8 days ago
Stability analysis of nonlinear quadratic systems via polyhedral Lyapunov functions
— Quadratic systems play an important role in the modeling of a wide class of nonlinear processes (electrical, robotic, biological, etc.). For such systems it is of mandatory imp...
Francesco Amato, Francesco Calabrese, Carlo Cosent...
ENTCS
2010
103views more  ENTCS 2010»
8 years 2 months ago
Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...
Olaf Owe, Martin Steffen, Arild B. Torjusen
ICCV
2009
IEEE
8 years 3 months ago
Efficient human pose estimation via parsing a tree structure based human model
Human pose estimation is the task of determining the states (location, orientation and scale) of each body part. It is important for many vision understanding applications, e.g. v...
Xiaoqin Zhang, Changcheng Li, Xiaofeng Tong, Weimi...
CORR
2009
Springer
114views Education» more  CORR 2009»
8 years 3 months ago
Distributed Branching Bisimulation Minimization by Inductive Signatures
We present a new distributed algorithm for state space minimization modulo branching bisimulation. Like its predecessor it uses signatures for refinement, but the refinement proce...
Stefan Blom, Jaco van de Pol
SPIN
2010
Springer
8 years 3 months ago
Efficient Explicit-State Model Checking on General Purpose Graphics Processors
We accelerate state space exploration for explicit-state model checking by executing complex operations on the graphics processing unit (GPU). In contrast to existing approaches en...
Stefan Edelkamp, Damian Sulewski
books