2181 search results - page 88 / 437 » The restriction scaffold problem |
AIPS
2006
13 years 11 months ago
2006
In this paper we describe the problem of Optimal Competitive Scheduling, which consists of activities that compete for a shared resource. The objective is to choose a subset of ac...
MKM
2007
Springer
14 years 4 months ago
2007
Springer
In this paper we address the problem of reconstructing a higher order, checkable proof object starting from a proof trace left by a first order automatic proof searching procedure...
ACMACE
2005
ACM
14 years 3 months ago
2005
ACM
We study the problem of restricting participation in online games to human players, so they can enjoy the game without interference from automated playing agents known as bots. We...
FC
2001
Springer
14 years 2 months ago
2001
Springer
We propose methods for mutual authentication and key exchange. Our methods are well suited for applications with strict power consumption restrictions, such as wireless medical imp...
VRST
1998
ACM
14 years 1 months ago
1998
ACM
object should be visible which were not visible in any of the images used to represent the object. So far these problems have been addressed by compression schemes [9] and restrict...