Sciweavers

2598 search results - page 289 / 520
» The Abstract Immune System Algorithm
Sort
View
ICSOC
2009
Springer
15 years 4 months ago
Transformation of Intermediate Nonfunctional Properties for Automatic Service Composition
Service-oriented computing provides an evolving paradigm for flexible and scalable applications of open systems. Web services and their automatic composition are in the mainstream...
Haruhiko Takada, Incheon Paik
WDAG
2010
Springer
196views Algorithms» more  WDAG 2010»
15 years 4 months ago
Brief Announcement: Failure Detectors Encapsulate Fairness
Abstract. We argue that failure detectors encapsulate fairness. Fairness is a measure of the number of steps a process takes relative to another processes and/or messages in transi...
Scott M. Pike, Srikanth Sastry, Jennifer L. Welch
QEST
2009
IEEE
16 years 1 months ago
Language-Level Symmetry Reduction for Probabilistic Model Checking
—Symmetry reduction is a technique for combating state-space explosion in model checking. The generic representatives approach to symmetry reduction uses a language-level transla...
Alastair F. Donaldson, Alice Miller, David Parker
IROS
2009
IEEE
180views Robotics» more  IROS 2009»
16 years 1 months ago
Robot Jenga: Autonomous and strategic block extraction
Abstract— This paper describes our successful implementation of a robot that autonomously and strategically removes multiple blocks from an unstable Jenga tower. We present an in...
Jiuguang Wang, Philip Rogers, Lonnie Parker, Dougl...
ICIAR
2009
Springer
16 years 1 months ago
Interacting with Digital Signage Using Hand Gestures
Abstract. Digital signage is a very attractive medium for advertisement and general communications in public open spaces. In order to add interaction capabilities to digital signag...
Qing Chen, François Malric, Yi Zhang, Muham...