10995 search results - page 282 / 2199 » Positioning |
177
click to vote
LICS
1994
IEEE
15 years 11 months ago
1994
IEEE
Gregory McColm conjectured that positive elementary inductions are bounded in a class K of nite structures if every (FO + LFP) formula is equivalent to a rst-order formula in K. H...
169
click to vote
ANTS
1994
Springer
15 years 11 months ago
1994
Springer
We study the complexity of expressing the greatest common divisor of n positive numbers as a linear combination of the numbers. We prove the NP-completeness of finding an optimal s...
186
Voted
SI3D
1992
ACM
15 years 11 months ago
1992
ACM
In this paper, we present techniques for integratingconstraint and direct manipulation approaches to geometric modeling. Direct manipulation positioning techniques are augmented t...
184
click to vote
SIGUCCS
2000
ACM
15 years 10 months ago
2000
ACM
The University of Maryland has recently begun a partnership with Byte Back, a computer skills training program for unemployed and underemployed persons in the Washington, D.C. are...
183
click to vote
ICSE
1991
IEEE-ACM
15 years 10 months ago
1991
IEEE-ACM
We present our experience using the Gandalf environment generation system as a prototyping vehicle for the Inscape Environment. Our positive experience included experimentation, i...