Sciweavers

874 search results - page 157 / 175
» Faster Algorithms for Semi-Matching Problems
Sort
View
IROS
2009
IEEE
208views Robotics» more  IROS 2009»
14 years 3 months ago
Human Robot interaction studies on laban human movement analysis and dynamic background segmentation
— Human movement analysis through vision sensing systems is an important subject regarding Human-Robot interaction. This is a growing area of research, with wide range of aplicat...
Luis Santos, José Augusto Prado, Jorge Dias
MICAI
2009
Springer
14 years 3 months ago
A Two-Stage Relational Reinforcement Learning with Continuous Actions for Real Service Robots
Reinforcement Learning is a commonly used technique in robotics, however, traditional algorithms are unable to handle large amounts of data coming from the robot’s sensors, requi...
Julio H. Zaragoza, Eduardo F. Morales
MEMOCODE
2008
IEEE
14 years 3 months ago
Bisimulator 2.0: An On-the-Fly Equivalence Checker based on Boolean Equation Systems
Equivalence checking is a classical verification method determining if a finite-state concurrent system (protocol) satisfies its desired external behaviour (service) by compari...
Radu Mateescu, Emilie Oudot
ICMCS
2005
IEEE
110views Multimedia» more  ICMCS 2005»
14 years 2 months ago
Estimating Packet Arrival Times in Bursty Video Applications
In retransmission-based error-control methods, the most fundamental yet the paramount problem is to determine how long the sender (or the receiver) should wait before deciding tha...
Ali C. Begen, Yucel Altunbasak
ICNP
2005
IEEE
14 years 2 months ago
Landmark Guided Forwarding
In this paper we focus on the problems of maintaining Ad Hoc network connectivity in the presence of node mobility whilst providing globally efficient and robust routing. The com...
Menghow Lim, Adam Chesterfield, Jon Crowcroft, Jul...