Sciweavers

1688 search results - page 206 / 338
» The Complexity of Rationalizing Matchings
Sort
View
WECWIS
2003
IEEE
85views ECommerce» more  WECWIS 2003»
15 years 4 months ago
A Tractable Mechanism for Time Dependent Markets
Markets with time dependent goods are special cases of multi commodity markets.The design of large flexible markets with time dependent goods is a computational challenge. In thi...
Per Carlsson, Arne Andersson, Fredrik Ygge
ERSHOV
2003
Springer
15 years 4 months ago
The Translation Power of the Futamura Projections
Despite practical successes with the Futamura projections, it has been an open question whether target programs produced by specializing interpreters can always be as efficient as ...
Robert Glück
ICLP
2003
Springer
15 years 4 months ago
On Deterministic Computations in the Extended Andorra Model
Logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very powerful framework that supports both co-routining and p...
Ricardo Lopes, Vítor Santos Costa, Fernando...
IPMI
2003
Springer
15 years 4 months ago
Visualization of Myocardial Motion Using MICSR Trinary Checkerboard Display
Abstract. Magnetic resonance tagging is used to quantify and visualize myocardial motion. The lack of tag persistence, however, is often a problem in visualizing motion throughout ...
Moriel NessAiver, Jerry L. Prince
HICSS
2002
IEEE
95views Biometrics» more  HICSS 2002»
15 years 4 months ago
Simulation Spectrum and Stability Models
In this paper, we define a continuum of modeling styles, ranging from collections of very simple agents on one end to collections of very complex agents at the other end, and a s...
Christopher Landauer