Sciweavers

6432 search results - page 391 / 1287
» Classic Mechanism Design
Sort
View
ECAL
2005
Springer
16 years 11 days ago
All Else Being Equal Be Empowered
The classical approach to using utility functions suffers from the drawback of having to design and tweak the functions on a case by case basis. Inspired by examples from the anim...
Alexander S. Klyubin, Daniel Polani, Chrystopher L...
CIKM
2004
Springer
16 years 7 days ago
Processing search queries in a distributed environment
Endeca’s approach to processing search queries in a distributed computing environment is predicated on concerns of correctness, scalability, and flexibility in deployment. Using...
Frederick Knabe, Daniel Tunkelang
MHCI
2004
Springer
16 years 6 days ago
Tilt-Based Automatic Zooming and Scaling in Mobile Devices - A State-Space Implementation
Abstract. We provide a dynamic systems interpretation of the coupling of internal states involved in speed-dependent automatic zooming, and test our implementation on a text browse...
Parisa Eslambolchilar, Roderick Murray-Smith
SEMWEB
2004
Springer
16 years 6 days ago
Using Vampire to Reason with OWL
OWL DL corresponds to a Description Logic (DL) that is a fragment of classical first-order predicate logic (FOL). Therefore, the standard methods of automated reasoning for full F...
Dmitry Tsarkov, Alexandre Riazanov, Sean Bechhofer...
MPC
2010
Springer
157views Mathematics» more  MPC 2010»
15 years 11 months ago
Formal Derivation of Concurrent Garbage Collectors
Concurrent garbage collectors are notoriously difficult to implement correctly. Previous approaches to the issue of producing correct collectors have mainly been based on posit-and...
Dusko Pavlovic, Peter Pepper, Douglas R. Smith