1914 search results - page 132 / 383 » Abstract lambda-Calculus Machines |
ALT
2005
Springer
14 years 5 months ago
2005
Springer
Abstract. We describe and analyze an algorithm for predicting a sequence of n-dimensional binary vectors based on a set of experts making vector predictions in [0, 1]n . We measure...
CC
2010
Springer
14 years 3 months ago
2010
Springer
Abstract. Scientists are increasingly using dynamic programming languages like Matlab for prototyping and implementation. Effectively compiling Matlab raises many challenges due t...
SAC
2009
ACM
14 years 3 months ago
2009
ACM
We present the implementation of several programming languages with support for multi-dimensional separation of concerns (MDSOC) on top of a common delegation-based substrate, whi...
ICCCN
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract—Sequencer, privilege-based, and communication history algorithms are popular approaches to implement total ordering, where communication history algorithms are most suit...
IROS
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— We propose a fast approach for detecting collisionfree swing-foot trajectories for legged locomotion over extreme terrains. Instead of simulating the swing trajectories...