3116 search results - page 469 / 624 » Positively dependent types |
172
click to vote
ICAT
2003
IEEE
15 years 11 months ago
2003
IEEE
Any VR scenario should offer a certain degree of nonlinearity or openness regarding the story progress as a consequence of the interaction with the user. In this paper we propose ...
154
click to vote
ISLPED
2003
ACM
15 years 11 months ago
2003
ACM
Power dissipation is unevenly distributed in modern microprocessors leading to localized hot spots with significantly greater die temperature than surrounding cooler regions. Exc...
161
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
We analyse scenarios in which self-interested agents negotiate with each other in order to agree on deals to exchange resources. We consider two variants of the framework, one whe...
192
click to vote
ECML
2003
Springer
15 years 11 months ago
2003
Springer
We consider supervised learning of a ranking function, which is a mapping from instances to total orders over a set of labels (options). The training information consists of exampl...
163
click to vote
3DPVT
2002
IEEE
15 years 11 months ago
2002
IEEE
Techniques are presented to progressively approximate and compress in a lossless manner two-colored (i.e. binary) 3D objects (as well as objects of arbitrary dimensionality). The ...