1280 search results - page 155 / 256 » Soft Typing with Conditional Types |
APGV
2009
ACM
14 years 1 months ago
2009
ACM
We conducted two experiments to investigate effects of scale changes on distance perception in virtual environments. In both experiments, participants first made distance estimat...
RULES
1993
Springer
14 years 1 months ago
1993
Springer
There have been many recent research efforts on temporal databases for managing current and historical data and on active databases for monitoring real-world events as well as dat...
NIPS
2008
13 years 10 months ago
2008
Clustering stability is an increasingly popular family of methods for performing model selection in data clustering. The basic idea is that the chosen model should be stable under...
ATAL
2010
Springer
13 years 10 months ago
2010
Springer
We study a more powerful variant of false-name manipulation in Internet auctions: an agent can submit multiple false-name bids, but then, once the allocation and payments have bee...
AI
2008
Springer
13 years 9 months ago
2008
Springer
In the arena of automated negotiations we focus on the principal negotiation protocol in bilateral settings, i.e. the alternatingoffers protocol. In the scientific community it is...