10042 search results - page 1662 / 2009 » Interactive Topic Modeling |
169
click to vote
ICRA
2005
IEEE
16 years 11 days ago
2005
IEEE
- Polychaete annelid worms provide a biological paradigm of versatile locomotion and effective motion control, adaptable to a large variety of unstructured environmental conditions...
215
click to vote
AADEBUG
2005
Springer
16 years 10 days ago
2005
Springer
One of today’s challenges is producing reliable software in the face of an increasing number of interacting components. Our system CHET lets developers define specifications des...
170
click to vote
APWEB
2005
Springer
16 years 10 days ago
2005
Springer
Flood control for reservoirs require operations in a dynamic and cooperative manner in order to respond to the changing flood control conditions. There is an increasing emphasis on...
158
click to vote
ATAL
2005
Springer
16 years 10 days ago
2005
Springer
We study agent societies where self-interested agents interact repeatedly over extended time periods. In particular, we are interested in environments where agents can form mutual...
164
click to vote
BIRTHDAY
2005
Springer
16 years 10 days ago
2005
Springer
Expander2 is a flexible multi-purpose workbench for interactive rewriting, verification, constraint solving, flow graph analysis and other procedures that build up proofs or co...