Sciweavers

3116 search results - page 469 / 624
» Positively dependent types
Sort
View
186
Voted
ICAT
2003
IEEE
16 years 8 days ago
A Formalism and a Tool for Diverging Requirements in VR Scenario Modeling
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 ...
Richard Wages, Benno Grützmacher, Georg Troge...
168
Voted
ISLPED
2003
ACM
113views Hardware» more  ISLPED 2003»
16 years 7 days ago
Reducing power density through activity migration
Power dissipation is unevenly distributed in modern microprocessors leading to localized hot spots with significantly greater die temperature than surrounding cooler regions. Exc...
Seongmoo Heo, Kenneth C. Barr, Krste Asanovic
185
Voted
ATAL
2003
Springer
16 years 6 days ago
On optimal outcomes of negotiations over resources
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...
Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Fran...
ECML
2003
Springer
16 years 6 days ago
Pairwise Preference Learning and Ranking
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...
Johannes Fürnkranz, Eyke Hüllermeier
177
Voted
3DPVT
2002
IEEE
131views Visualization» more  3DPVT 2002»
15 years 12 months ago
Octree approximation and compression methods
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 ...
Hanan Samet, Andrzej Kochut