Sciweavers

8060 search results - page 1476 / 1612
» Adaptive BICM-OFDM Systems
Sort
View
144
Voted
ARGMAS
2008
Springer
15 years 6 months ago
Annotation and Matching of First-Class Agent Interaction Protocols
Many practitioners view agent interaction protocols as rigid specifications that are defined a priori, and hard-code their agents with a set of protocols known at design time -- a...
Tim Miller, Peter McBurney
ASSETS
2008
ACM
15 years 6 months ago
A user evaluation of the SADIe transcoder
The World Wide Web (Web) is a visually complex, dynamic, multimedia system that can be inaccessible to people with visual impairments. SADIe addresses this problem by using Semant...
Darren Lunn, Sean Bechhofer, Simon Harper
ATAL
2008
Springer
15 years 6 months ago
Tags and image scoring for robust cooperation
Establishing and maintaining cooperation is an enduring problem in multi-agent systems and, although several solutions exist, the increased use of online trading systems, peerto-p...
Nathan Griffiths
MMB
2010
Springer
185views Communications» more  MMB 2010»
15 years 6 months ago
Correctness Issues of Symbolic Bisimulation Computation for Markov Chains
Abstract. Bisimulation reduction is a classical means to fight the infamous state space explosion problem, which limits the applicability of automated methods for verification li...
Ralf Wimmer, Bernd Becker
115
Voted
AHS
2007
IEEE
262views Hardware» more  AHS 2007»
15 years 6 months ago
A Reed-Solomon Algorithm for FPGA Area Optimization in Space Applications
This work describes an algebraic based design strategy targeting area optimization in reconfigurable computer technology (FPGA). Area optimization is a major issue as smaller comp...
Gabriel Marchesan Almeida, Eduardo Augusto Bezerra...
« Prev « First page 1476 / 1612 Last » Next »