Sciweavers

2670 search results - page 434 / 534
» Modeling systems with internal state using evolino
Sort
View
ECAI
2008
Springer
15 years 8 months ago
Incremental Diagnosis of DES by Satisfiability
Abstract. We propose a SAT-based algorithm for incremental diagnosis of discrete-event systems. The monotonicity is ensured by a prediction window that uses the future observations...
Alban Grastien, Anbulagan
CVPR
2006
IEEE
16 years 8 months ago
Tracking of the Articulated Upper Body on Multi-View Stereo Image Sequences
We propose a novel method for tracking an articulated model in a 3D-point cloud. The tracking problem is formulated as the registration of two point sets, one of them parameterise...
Julius Ziegler, Kai Nickel, Rainer Stiefelhagen
PADL
2010
Springer
16 years 3 months ago
An ER-Based Framework for Declarative Web Programming
This paper describes a framework to support the implementation of web-based systems to manipulate data stored in relational databases. Since the conceptual model of a relational da...
Michael Hanus, Sven Koschnicke
ICRA
2009
IEEE
123views Robotics» more  ICRA 2009»
16 years 24 days ago
Tracking groups of people with a multi-model hypothesis tracker
Abstract— People in densely populated environments typically form groups that split and merge. In this paper we track groups of people so as to reflect this formation process an...
Boris Lau, Kai Oliver Arras, Wolfram Burgard
PE
2006
Springer
107views Optimization» more  PE 2006»
15 years 6 months ago
Efficient steady-state analysis of second-order fluid stochastic Petri nets
This paper presents an efficient solution technique for the steady-state analysis of the second-order Stochastic Fluid Model underlying a second-order Fluid Stochastic Petri Net (...
Marco Gribaudo, Rossano Gaeta