Sciweavers

4745 search results - page 145 / 949
» Discretization: An Enabling Technique
Sort
View
DGCI
2005
Springer
15 years 12 months ago
Geometric Robot Mapping
Abstract. The purpose of this paper is to present a technique to create a global map of a robot’s surrounding by converting the raw data acquired from a scanning sensor to a comp...
Rolf Lakämper, Longin Jan Latecki, Xinyu Sun,...
HYBRID
2003
Springer
15 years 11 months ago
Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...
Ronojoy Ghosh, Ashish Tiwari, Claire Tomlin
SIBGRAPI
2002
IEEE
15 years 11 months ago
Dynamic Scene Occlusion Culling Using a Regular Grid
We present an output-sensitive occlusion culling algorithm for densely occluded dynamic scenes where both the viewpoint and objects move arbitrarily. Our method works on a regular ...
Harlen Costa Batagelo, Shin-Ting Wu
CDC
2009
IEEE
121views Control Systems» more  CDC 2009»
15 years 11 months ago
Piecewise-linear constrained control for timed continuous Petri nets
— Timed Continuous Petri Net (TCPN) systems are piecewise linear models with input constraints that can approximate the dynamical behavior of a class of timed discrete event syst...
Carlos Renato Vázquez, Manuel Silva
ICMCS
2000
IEEE
141views Multimedia» more  ICMCS 2000»
15 years 10 months ago
Content-Based Indexing and Retrieval of Audio Data using Wavelets
This paper proposes a content-based audio information retrieval and indexing technique based on wavelet transform. The presented approach uses multiresolution decomposition proper...
Guohui Li, Ashfaq A. Khokhar