988 search results - page 38 / 198 » Positive Results and Techniques for Obfuscation |
MOC
1998
13 years 8 months ago
1998
If a, b and n are positive integers with b ≥ a and n ≥ 3, then the equation of the title possesses at most one solution in positive integers x and y, with the possible exceptio...
INFOCOM
2003
IEEE
14 years 2 months ago
2003
IEEE
— We investigate the problem of inferring the packet loss characteristics of Internet links using server-based measurements. Unlike much of existing work on network tomography th...
PERCOM
2003
ACM
14 years 8 months ago
2003
ACM
We present a novel method of extracting topological and metric geographical data using only positional data sensed from personnel movements. We extend research from the field of r...
LOGCOM
2010
13 years 7 months ago
2010
In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equality in ...
UIST
1998
ACM
14 years 1 months ago
1998
ACM
This paper presents an interaction technique for walkthrough in virtual 3D spaces, where the user draws the intended path directly on the scene, and the avatar automatically moves...