Sciweavers

4131 search results - page 234 / 827
» The Generalized Max-Controlled Set Problem
Sort
View
224
Voted
CVPR
2009
IEEE
4292views Computer Vision» more  CVPR 2009»
16 years 11 months ago
Curved Glide-Reflection Symmetry Detection
We generalize reflection symmetry detection to a curved glide-reflection symmetry detection problem. We propose a unifying, local feature-based approach for curved glidereflectio...
Seungkyu Lee, Yanxi Liu
CIKM
2010
Springer
15 years 2 months ago
A method for discovering components of human rituals from streams of sensor data
This paper describes an algorithm for determining if an event occurs persistently within an interval where the interval is periodic but the event is not. The goal of the algorithm...
Athanasios Bamis, Jia Fang, Andreas Savvides
ICRA
2010
IEEE
215views Robotics» more  ICRA 2010»
15 years 2 months ago
Moving game theoretical patrolling strategies from theory to practice: An USARSim simulation
— Game theoretical approaches have been recently used to develop patrolling strategies for mobile robots. The idea is that the patroller and the intruder play a game, whose outco...
Francesco Amigoni, Nicola Basilico, Nicola Gatti, ...
JCO
2010
169views more  JCO 2010»
15 years 2 months ago
An almost four-approximation algorithm for maximum weight triangulation
We consider the following planar maximum weight triangulation (MAT) problem: given a set of n points in the plane, find a triangulation such that the total length of edges in tria...
Shiyan Hu
SPIN
2010
Springer
15 years 2 months ago
An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models
This paper addresses the problem of verifying programs for the relaxed memory models implemented in modern processors. Specifically, it considers the TSO (Total Store Order) relax...
Alexander Linden, Pierre Wolper