Sciweavers

4809 search results - page 376 / 962
» CajunBot: Architecture and algorithms
Sort
View
TACAS
2012
Springer
277views Algorithms» more  TACAS 2012»
14 years 2 months ago
Proving Reachability Using FShell - (Competition Contribution)
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
Andreas Holzer, Daniel Kroening, Christian Schallh...
RAS
2006
126views more  RAS 2006»
15 years 6 months ago
Multi-robot cooperation-based mobile printer system
This paper proposes a mobile printer system (MPS) based on multi-robot cooperation. The system consists of multiple mobile robots, a wireless LAN system, a graphic user interface ...
Kang-Hee Lee, Jong-Hwan Kim
CORR
2007
Springer
109views Education» more  CORR 2007»
15 years 6 months ago
Self-Organising management of Grid environments
: This paper presents basic concepts, architectural principles and algorithms for efficient resource and security management in cluster computing environments and the Grid. The wor...
Ioannis Liabotis, Ognjen Prnjat, Temitope Olukemi,...
TON
2008
79views more  TON 2008»
15 years 6 months ago
Asynchronous congestion control in multi-hop wireless networks with maximal matching-based scheduling
We consider a multi-hop wireless network shared by many users. For an interference model that constrains a node to either transmit to or receive from only one other node at a time,...
Loc Bui, Atilla Eryilmaz, R. Srikant, Xinzhou Wu
ICIP
2004
IEEE
16 years 8 months ago
A parallel mediated reality platform
Realtime image processing provides a general framework for robust mediated reality problems. This paper presents a realtime mediated reality system that is built upon realtime ima...
Rosco Hill, James Fung, Steve Mann