Sciweavers

831 search results - page 55 / 167
» Coalgebraic Correspondence Theory
Sort
View
IAT
2010
IEEE
14 years 9 months ago
Intention Recognition with Event Calculus Graphs
Intention recognition has significant applications in ambient intelligence, for example in assisted living and care of the elderly, in games and in intrusion and other crime detec...
Fariba Sadri
ICIP
2009
IEEE
14 years 9 months ago
Geometrical plenoptic sampling
In this paper, we present a general framework for analysis of plenoptic sampling by investigating the spectral analysis of plenoptic imaging. The proposed framework provides a uni...
Chong Chen, Dan Schonfeld
EOR
2011
111views more  EOR 2011»
14 years 6 months ago
On the distribution of the number stranded in bulk-arrival, bulk-service queues of the M/G/1 form
Bulk-arrival queues with single servers that provide bulk service are widespread in the real world, e.g., elevators in buildings, people-movers in amusement parks, air-cargo deliv...
Aykut F. Kahraman, Abhijit Gosavi
CALCO
2011
Springer
225views Mathematics» more  CALCO 2011»
13 years 11 months ago
Linearly-Used State in Models of Call-by-Value
Abstract. We investigate the phenomenon that every monad is a linear state monad. We do this by studying a fully-complete state-passing translation from an impure call-by-value lan...
Rasmus Ejlers Møgelberg, Sam Staton
IROS
2006
IEEE
104views Robotics» more  IROS 2006»
15 years 5 months ago
Optimal Trajectory Generation for Manipulator Robots under Thermal Constraints
We propose here to deal with the optimization of velocity profiles of manipulator robots with a minimum time criterion subject to thermal constraints. This paper deals with the r...
Matthieu Guilbert, Pierre-Brice Wieber, Luc D. Jol...