1204 search results - page 63 / 241 » Hybrid Probabilistic Programs |
134
Voted
EVOW
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. The Berth Allocation Problem (BAP) consists on programming and allocating ships to berthing areas along a quay. The BAP is modeled as a vehicle routing problem and a rece...
117
click to vote
JSS
2006
15 years 19 days ago
2006
Dynamic memory management can make up to 60% of total program execution time. Object oriented languages such as C++ can use 20 times more memory than procedural languages like C. ...
116
Voted
AAI
2005
15 years 18 days ago
2005
The application of AI planning techniques to manufacturing systems is being widely deployed for all the tasks involved in the process, from product design to production planning an...
115
Voted
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract— For stochastic hybrid systems, stochastic reachability is very little supported mainly because of complexity and difficulty of the associated mathematical problems. In...
105
Voted
PPDP
2009
Springer
15 years 7 months ago
2009
Springer
Hybrid is a system developed to specify and reason about logics, programming languages, and other formal systems expressed in rder abstract syntax (HOAS). An important goal of Hyb...