8499 search results - page 41 / 1700 » cans 2009 |
LPNMR
2009
Springer
14 years 3 months ago
2009
Springer
We present a formal framework where the action description language C+ is used to provide multiple robots with high-level reasoning in the style of cognitive robotics. We show the ...
MDAI
2009
Springer
14 years 3 months ago
2009
Springer
Presented is preliminary study of the role of data structures in algorithms for formal concept analysis. Studied is performance of selected algorithms in dependence on chosen data ...
OOPSLA
2009
Springer
14 years 3 months ago
2009
Springer
Abstract—The Internet houses diverse applications (i.e., banking, networking, etc.), commonly implemented as web services. Web services are flexible but can become complex, maki...
SAFECOMP
2009
Springer
14 years 3 months ago
2009
Springer
We present patterns for expressing dependability requirements, such as confidentiality, integrity, availability, and reliability. The paper considers random faults as well as cert...
EVOW
2009
Springer
14 years 2 months ago
2009
Springer
The current paper uses a scenario from logistics to show that modern heuristics, and in particular particle swarm optimization (PSO) can significantly add to the improvement of sta...