499 search results - page 68 / 100 » Parts Orienting by Push-Aligning |
APLAS
2007
ACM
14 years 24 days ago
2007
ACM
We present a resource oriented program logic that is able to reason about concurrent heap-manipulating programs with unbounded numbers of dynamically-allocated locks and threads. T...
CCCG
2008
13 years 10 months ago
2008
We prove a tight asymptotic bound of ( log(n/)) on the worst case computational complexity of the convex hull of the union of two convex objects of sizes summing to n requiring o...
LEGE
2004
13 years 10 months ago
2004
In this paper we discuss the TestTool system as an established testing system model, the one that is being used in real educational settings and supports self-assessment as well as...
AIEDAM
2006
13 years 8 months ago
2006
In current commercial feature modeling systems, support for direct manipulation of features is not commonly available. This is partly due to the strong reliance of such systems on...
FLAIRS
2006
13 years 10 months ago
2006
This paper outlines a symbolic computational theory for recognizing variable spatial environments-The Theory of Cognitive Prism, (Dong 2005). This theory defines distance and orie...