Sciweavers

2142 search results - page 311 / 429
» An aspect-oriented approach for implementing evolutionary co...
Sort
View
IROS
2008
IEEE
181views Robotics» more  IROS 2008»
16 years 1 months ago
Scalable Bayesian human-robot cooperation in mobile sensor networks
— In this paper, scalable collaborative human-robot systems for information gathering applications are approached as a decentralized Bayesian sensor network problem. Humancompute...
Frédéric Bourgault, Aakash Chokshi, ...
B
2007
Springer
16 years 1 months ago
Symmetry Reduction for B by Permutation Flooding
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...
Michael Leuschel, Michael J. Butler, Corinna Sperm...
ACMACE
2005
ACM
16 years 12 days ago
Rendezvous: supporting real-time collaborative mobile gaming in high latency environments
Despite the ever increasing popularity of handheld, networked gaming consoles, fully interactive real-time, multiplayer games designed for these platforms have yet to become a rea...
Angie Chandler, Joe Finney
FPGA
2004
ACM
174views FPGA» more  FPGA 2004»
16 years 7 days ago
A compiled accelerator for biological cell signaling simulations
The simulation of large systems of biochemical reactions is a key part of research into molecular signaling and information processing in biological cells. However, it can be impr...
John F. Keane, Christopher Bradley, Carl Ebeling
SAC
2003
ACM
16 years 3 days ago
Semantic Matchmaking in a P-2-P Electronic Marketplace
Matchmaking is the problem of matching offers and requests, such as supply and demand in a marketplace, services and customers in a service agency, etc., where both partners are ...
Tommaso Di Noia, Eugenio Di Sciascio, Francesco M....