Sciweavers

1350 search results - page 49 / 270
» Generalized Committed Choice
Sort
View
SFP
2004
15 years 5 months ago
Disjoint forms in graphical user interfaces
Abstract: Forms are parts of a graphical user interface (GUI) that show a (structured) value and allow the user to update it. Some forms express a choice between two or more (struc...
Sander Evers, Peter Achten, Rinus Plasmeijer
CORR
2007
Springer
83views Education» more  CORR 2007»
15 years 3 months ago
Time and the Prisoner's Dilemma
B This paper examinesthe integration of computational complexity into gametheoretic models. Theexample focused on is the Prisoner’s Dilemma,repeated for a finite length of time....
Yishay Mor, Jeffrey S. Rosenschein
CHARME
2005
Springer
136views Hardware» more  CHARME 2005»
15 years 9 months ago
Acceleration of SAT-Based Iterative Property Checking
Today, verification is becoming the dominating factor for successful circuit designs. In this context formal verification techniques allow to prove the correctness of a circuit ...
Daniel Große, Rolf Drechsler
ICDE
1999
IEEE
140views Database» more  ICDE 1999»
16 years 5 months ago
Multiversion Reconciliation for Mobile Databases
As mobile computing devices become more and more popular, mobile databases have started gaining popularity. An important feature of these database systems is their ability to allo...
Shirish Hemant Phatak, B. R. Badrinath
WWW
2009
ACM
16 years 4 months ago
Privacy preserving frequency capping in internet banner advertising
We describe an optimize-and-dispatch approach for delivering pay-per-impression advertisements in online advertising. The platform provider for an advertising network commits to s...
Ayman Farahat