Sciweavers

3417 search results - page 623 / 684
» Visualizing Partial Evaluation
Sort
View
TABLEAUX
2009
Springer
15 years 10 months ago
Tableaux and Model Checking for Memory Logics
Memory logics are modal logics whose semantics is specified in terms of relational models enriched with additional data structure to represent memory. The logical language is then...
Carlos Areces, Diego Figueira, Daniel Gorín...
INFOSCALE
2009
ACM
15 years 10 months ago
A Lightweight Mechanism to Mitigate Application Layer DDoS Attacks
Abstract. Application layer DDoS attacks, to which network layer solutions is not applicable as attackers are indistinguishable based on packets or protocols, prevent legitimate us...
Jie Yu, Chengfang Fang, Liming Lu, Zhoujun Li
ICC
2008
IEEE
160views Communications» more  ICC 2008»
15 years 10 months ago
Localization via TDOA in a UWB Sensor Network using Neural Networks
In an Ultra-wide band (UWB) sensor network signal reflections from objects can be used to accurately determine the location. UWB signals are preferred in these types of sensor ne...
Salih Ergüt, Ramesh R. Rao, Özgür D...
ICRA
2008
IEEE
119views Robotics» more  ICRA 2008»
15 years 10 months ago
Towards schema-based, constructivist robot learning: Validating an evolutionary search algorithm for schema chunking
— In this paper, we lay the groundwork for extending our previously developed ASyMTRe architecture to enable constructivist learning for multi-robot team tasks. The ASyMTRe archi...
Yifan Tang, Lynne E. Parker
WCNC
2008
IEEE
15 years 10 months ago
Performance Improvement for Multichannel HARQ Protocol in Next Generation WiMAX System
Hybrid automatic repeat-request (HARQ) is critical to an IEEE 802.16e OFDMA network, as it can significantly improve the reliability of wireless link. However, as revealed by our...
Zhifeng Tao, Anfei Li, Jinyun Zhang, Toshiyuki Kuz...