1424 search results - page 76 / 285 » Improving on Version Stamps |
MFCS
2004
Springer
15 years 4 months ago
2004
Springer
We study the on-line versions of two fundamental graph problems, maximum independent set and minimum coloring, for the case of disk graphs which are graphs resulting from intersect...
76
Voted
DAC
2003
ACM
15 years 4 months ago
2003
ACM
Coverage estimation for model checking quantifies the completeness of a set of properties. We present an improved version of the algorithm of Hoskote et al. [7] that applies to a...
ASIACRYPT
2003
Springer
15 years 4 months ago
2003
Springer
We estimate the yield of the number field sieve factoring algorithm when applied to the 1024-bit composite integer RSA-1024 and the parameters as proposed in the draft version [17...
100
click to vote
ROBOCUP
1999
Springer
15 years 3 months ago
1999
Springer
Team YowAI-2000 is an improved version of YowAI-1999 which was originally developed by Takashi Suzuki. It won the RoboCup Japan Open 2000 Championship. However, it does only slight...
TIME
1994
IEEE
15 years 3 months ago
1994
IEEE
Pinto and Reiter have argued that the Situation Calculus, improved with time handling axioms, subsumes the features of linear time temporal formalisms such as Event Calculus and I...