Sciweavers

1204 search results - page 65 / 241
» Hybrid Probabilistic Programs
Sort
View
TASE
2008
IEEE
15 years 17 days ago
New Hybrid Optimization Algorithms for Machine Scheduling Problems
Dynamic programming, branch-and-bound, and constraint programming are the standard solution principles for nding optimal solutions to machine scheduling problems. We propose a new ...
Yunpeng Pan, Leyuan Shi
IFIP
2010
Springer
15 years 5 months ago
Grasp Exploration for 3D Object Shape Representation Using Probabilistic Map
In this work it is shown the representation of 3D object shape acquired from grasp exploration. Electromagnetic motion tracking sensors are used on the fingers for object contour f...
Diego R. Faria, Ricardo Martins, Jorge Dias
93
Voted
APLAS
2007
ACM
15 years 4 months ago
Timed, Distributed, Probabilistic, Typed Processes
This paper studies types and probabilistic bisimulations for a timed -calculus as an effective tool for a compositional analysis of probabilistic distributed behaviour. The types c...
Martin Berger, Nobuko Yoshida
106
Voted
ICMCS
2010
IEEE
140views Multimedia» more  ICMCS 2010»
15 years 26 days ago
On the use of a dynamic hybrid tempo detection model for beat tracking
In this paper, an approach that estimates the times at which musical beats occur is presented. The system uses a hybrid multi-band decomposition in order to estimate the music tem...
Mikel Gainza
122
Voted
COR
2007
176views more  COR 2007»
15 years 20 days ago
Scheduling and routing of automated guided vehicles: A hybrid approach
We propose a hybrid method designed to solve a problem of dispatching and conflict free routing of automated guided vehicles (AGVs) in a flexible manufacturing system (FMS). Thi...
Ayoub Insa Corréa, André Langevin, L...