Sciweavers

1350 search results - page 57 / 270
» Generalized Committed Choice
Sort
View
AI
2002
Springer
15 years 4 months ago
The influence of social norms and social consciousness on intention reconciliation
Research on resource-bounded agents has established that rational agents need to be able to revise their commitments in light of new opportunities. In the context of collaborative...
Barbara J. Grosz, Sarit Kraus, David G. Sullivan, ...
MANSCI
2010
94views more  MANSCI 2010»
15 years 2 months ago
Contracting for Infrequent Restoration and Recovery of Mission-Critical Systems
Firms that rely on functioning mission-critical equipment for their businesses cannot a¤ord signi…cant operational downtime due to system disruptions. To minimize the impact of...
Sang-Hyun Kim, Morris A. Cohen, Serguei Netessine,...
164
Voted
ANTS
2006
Springer
139views Algorithms» more  ANTS 2006»
15 years 7 months ago
Hard Instances of the Constrained Discrete Logarithm Problem
The discrete logarithm problem (DLP) generalizes to the constrained DLP, where the secret exponent x belongs to a set known to the attacker. The complexity of generic algorithms f...
Ilya Mironov, Anton Mityagin, Kobbi Nissim
162
Voted
CAGD
2005
111views more  CAGD 2005»
15 years 4 months ago
On geometric interpolation of parametric surfaces
By exploiting the freedom in the choice of parametrization of a parametric surface, we show that there exist quadratic parametric surfaces that approximate a given parametric surf...
Knut Mørken
POPL
2007
ACM
16 years 4 months ago
Types, bytes, and separation logic
We present a formal model of memory that both captures the lowlevel features of C's pointers and memory, and that forms the basis for an expressive implementation of separati...
Harvey Tuch, Gerwin Klein, Michael Norrish