291 search results - page 14 / 59 » Linear Types for Packet Processing |
101
Voted
IROS
2006
IEEE
15 years 8 months ago
2006
IEEE
— A planning method for unraveling deformable linear objects based on 2D information about their crossing states is proposed. In manipulation of a linear object, its raveling mus...
105
Voted
AISC
2006
Springer
15 years 6 months ago
2006
Springer
In program analysis and verification, there are some constraints that have to be processed repeatedly. A possible way to speed up the processing is to find some relations among the...
IPPS
2000
IEEE
15 years 6 months ago
2000
IEEE
The paper presents a method to integrate parallelism in the DIPLIB sequential image processing library. The library contains several framework functions for di erent types of opera...
136
click to vote
JSAC
2006
15 years 2 months ago
2006
Abstract--Efficient near-optimal energy allocation for multimedia data transmission using multicarrier modulation is investigated. The optimal method typically relies on an iterati...
119
Voted
NIPS
2007
15 years 3 months ago
2007
We provide a provably efficient algorithm for learning Markov Decision Processes (MDPs) with continuous state and action spaces in the online setting. Specifically, we take a mo...