9521 search results - page 1458 / 1905 » Compiling with continuations, continued |
189
click to vote
JVCA
2006
15 years 6 months ago
2006
Virtual mannequins need to navigate in order to interact with their environment. Their autonomy to accomplish the navigation task is ensured by locomotion controllers. Control inp...
172
click to vote
EOR
2007
15 years 6 months ago
2007
In a steel tube mill where an endless stream of steel tube is supplied from a manufacturing facility, trim waste is never made regardless of cutting patterns used and the standard...
162
click to vote
LMCS
2006
15 years 6 months ago
2006
tract Stone Duality) is a re-axiomatisation of general topology in which the topology on a space is treated, not as an infinitary lattice, but as an exponential object of the same...
170
click to vote
LMCS
2006
15 years 6 months ago
2006
We develop a pseudo-metric analogue of bisimulation for generalized semi-Markov processes. The kernel of this pseudo-metric corresponds to bisimulation; thus we have extended bisi...
185
click to vote
MANSCI
2006
15 years 6 months ago
2006
Technology innovations continue to be one of the greatest drivers of economic growth. Realizing the value of such innovations, however, requires substantial follow-on investments ...