602 search results - page 35 / 121 » NetRaker suite: a demonstration |
DLOG
2006
14 years 7 days ago
2006
Abstract. Model checking is a fully automated technique for determining whether the behaviour of a finite-state reactive system satisfies a temporal logic specification. Despite th...
NIPS
2004
2004
Methods for Estimating the Computational Power and Generalization Capability of Neural Microcircuits
14 years 6 days ago
What makes a neural microcircuit computationally powerful? Or more precisely, which measurable quantities could explain why one microcircuit C is better suited for a particular fa...
ICAI
2003
14 years 6 days ago
2003
: We present a model consisting of an emergent procedure for n unpiloted, autonomous flying munitions to cooperatively conduct a parallel sweeping search of a geographic area for s...
ICMAS
2000
14 years 6 days ago
2000
We present an auction-based approach to manufacturing control. Workpieces auction off their current task, while machines bid for tasks. When awarding a machine, a workpiece takes ...
WSC
1998
14 years 5 days ago
1998
Process oriented views are widely recognized as very useful for modeling, but di cult to implement e ciently in a simulation system, as compared to event oriented views. In partic...