3591 search results - page 434 / 719 » Typing linear constraints |
211
click to vote
ICRA
2005
IEEE
16 years 8 days ago
2005
IEEE
- We previously proposed a new 3D form display actuated by shape memory alloy (SMA), which is capable of displaying large scale objects sequentially. Based on our devised method, o...
176
click to vote
ISPDC
2005
IEEE
16 years 8 days ago
2005
IEEE
An important scheduling problem is the one in which there are no dependencies between tasks and the tasks can be of arbitrary size. This is known as the divisible load scheduling ...
182
click to vote
LICS
2005
IEEE
16 years 8 days ago
2005
IEEE
We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by ...
178
click to vote
SG
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We present a method to generate glyphs which convey complex information in graphical form. A glyph has a linear geometry which is specified using geometric operations, e...
194
click to vote
ECML
2004
Springer
16 years 2 days ago
2004
Springer
Although tabular reinforcement learning (RL) methods have been proved to converge to an optimal policy, the combination of particular conventional reinforcement learning techniques...