Sciweavers

2598 search results - page 367 / 520
» The Abstract Immune System Algorithm
Sort
View
CORR
2008
Springer
130views Education» more  CORR 2008»
15 years 2 months ago
Coded Adaptive Linear Precoded Discrete Multitone Over PLC Channel
Abstract--Discrete multitone modulation (DMT) systems exploit the capabilities of orthogonal subcarriers to cope efficiently with narrowband interference, high frequency attenuatio...
Fahad Syed Muhammad, Jean-Yves Baudais, Jean-Fran&...
124
Voted
CAV
2007
Springer
108views Hardware» more  CAV 2007»
15 years 8 months ago
Systematic Acceleration in Regular Model Checking
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
Bengt Jonsson, Mayank Saksena
ICRA
2009
IEEE
176views Robotics» more  ICRA 2009»
15 years 9 months ago
Rollin' Justin - Mobile platform with variable base
Abstract— Research on humanoid robots for use in servicing tasks, e.g. fetching and delivery, attracts steadily more interest. With ”Rollin’ Justin” a mobile robotic system...
Christoph Borst, Thomas Wimböck, Florian Schm...
128
Voted
CLOUD
2010
ACM
15 years 7 months ago
G-Store: a scalable data store for transactional multi key access in the cloud
Cloud computing has emerged as a preferred platform for deploying scalable web-applications. With the growing scale of these applications and the data associated with them, scalab...
Sudipto Das, Divyakant Agrawal, Amr El Abbadi
TON
2002
91views more  TON 2002»
15 years 2 months ago
The stable paths problem and interdomain routing
Abstract-Dynamic routing protocols such as RIP and OSPF essentially implement distributed algorithms for solving the Shortest Paths Problem. The Border Gateway Protocol (BGP) is cu...
Timothy Griffin, F. Bruce Shepherd, Gordon T. Wilf...