3731 search results - page 142 / 747 » cases 2006 |
147
click to vote
IJCAT
2010
15 years 5 months ago
2010
: This paper explores the vast domain of systematic collaborative engineering with reference to product lifecycle management approach from the angle of feature-level collaboration ...
151
click to vote
JAIR
2010
15 years 4 months ago
2010
We present an incentive-compatible polynomial-time approximation scheme for multiunit auctions with general k-minded player valuations. The mechanism fully optimizes over an appro...
166
click to vote
JAR
2010
15 years 4 months ago
2010
Abstract. In this paper we propose an effective procedure for translating a proof term of the Calculus of Inductive Constructions (CIC), which is very similar to a program written...
146
click to vote
JAR
2010
15 years 4 months ago
2010
We give a short survey of the main principles of our software for the visualisation and animation in mathematics and study the visibility and contour problems in the representation...
173
click to vote
MP
2010
15 years 4 months ago
2010
In the extension of Newton’s method to generalized equations, applying to variational inequalities as a special case, convergence analysis relates to a corresponding implicit fun...