2131 search results - page 361 / 427 » Multi-Agent System Development: Design, Runtime, and Analysi... |
ICRA
2009
IEEE
13 years 6 months ago
2009
IEEE
This paper presents a new algorithm for object handling tasks based on active tactile and slippage sensations using a humanoid robot multi-fingered arm for an object that exists at...
BIOINFORMATICS
2011
13 years 21 days ago
2011
Summary: We developed a Python package, ProDy, for structurebased analysis of protein dynamics. ProDy allows for quantitative characterization of structural variations in heteroge...
MSWIM
2005
ACM
14 years 2 months ago
2005
ACM
Discrete-event network simulation is a major tool for the research and development of mobile ad-hoc networks (MANETs). These simulations are used for debugging, teaching, understa...
WCRE
1999
IEEE
14 years 1 months ago
1999
IEEE
Java applets have been used increasingly on web sites to perform client-side processing and provide dynamic content. While many web site analysis tools are available, their focus ...
VMCAI
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...