2624 search results - page 145 / 525 » The 2LIP model and its implementations |
236
click to vote
IJCAI
1989
15 years 7 months ago
1989
This paper describes the design and implementation of a constraint satisfaction system that uses delayed evaluation techniques to provide greater representational power and to avo...
159
click to vote
ICML
2010
IEEE
15 years 7 months ago
2010
IEEE
This paper introduces a novel multiagent learning algorithm, Convergence with Model Learning and Safety (or CMLeS in short), which achieves convergence, targeted optimality agains...
134
click to vote
INFORMATICALT
2006
15 years 6 months ago
2006
An algorithm for scheduling the trajectory of a point object, which moves on a plane surface comprising of moving obstacles, is introduced. Different quantitative criteria may be m...
141
click to vote
ENTCS
2007
15 years 6 months ago
2007
We present a method for pipeline verification using SMT solvers. It is based on a non-deterministic “mother pipeline” machine (MOP) that abstracts the instruction set archite...
181
click to vote
NN
2008
Springer
15 years 6 months ago
2008
Springer
A silicon neuron circuit that produces spiking and bursting firing patterns, with biologically plausible spike shape, is presented. The circuit mimics the behaviour of known class...