Sciweavers

3458 search results - page 348 / 692
» Abstracting Control
Sort
View
126
Voted
SAB
2010
Springer
156views Optimization» more  SAB 2010»
15 years 3 months ago
Attentional Mechanisms for Lateral Line Sensing through Spectral Analysis
Abstract. For autonomy in underwater robotics it is essential to develop context-driven controllers, capable of leading from perception to action without human intervention. One of...
Otar Akanyeti, Maria-Camilla Fiazza, Paolo Fiorini
148
Voted
TPHOL
2008
IEEE
15 years 11 months ago
Formalizing a Framework for Dynamic Slicing of Program Dependence Graphs in Isabelle/HOL
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...
Daniel Wasserrab, Andreas Lochbihler
GLOBECOM
2006
IEEE
15 years 10 months ago
Delay Analysis and Comparison of OFDM-TDMA and OFDMA under IEEE 802.16 QoS Framework
Abstract— The delay analysis and comparison of OFDMTDMA and OFDMA using a flow control scheme under the QoS framework of IEEE 802.16 are conducted in this work. We investigate t...
Yu-Jung Chang, Feng-Tsun Chien, C. C. Jay Kuo
ADHOCNOW
2006
Springer
15 years 10 months ago
Authenticated In-Network Programming for Wireless Sensor Networks
Abstract. Current in-network programming protocols for sensor networks allow an attacker to gain control of the network or disrupt its proper functionality by disseminating malicio...
Ioannis Krontiris, Tassos Dimitriou
NPAR
2004
ACM
15 years 10 months ago
Visual interest and NPR: an evaluation and manifesto
Using eye tracking, we study the way viewers look at photos and image based NPR illustrations. Viewers examine the same number of locations in photos and in NPR images with unifor...
Anthony Santella, Douglas DeCarlo